Concolic Testing 기반 프로그램 상호작용 슬라이싱 기법 설계2019년 5월 1일 · 약 1분서강복김덕엽이우진담당교수2019 한국 정보처리학회 춘계학술발표대회 논문집, 제26권 제1호, 2019년 5월