Publications

International conferences and journals

1. A.Lee, Y.Choi, S.Hong, Y.Kim, K.Cho, and M.Kim, ZigZagFuzz: Interleaved Fuzzing of Program Options and Files, (ACM TOSEM, accepted)
2. A.Lee, I.Ariq, Y.Kim, and M.Kim, POWER: Program Option-Aware Fuzzer for High Bug Detection Ability (ICST 22) [slides]

Domestic conferences and journals

1. L.Zhang, 이아청, 김문주, Challenges in Automated Unit Testing of Complex C++ Programs, Korea Software Congress (KSC 23)
2. 이아청, 김윤호, 김문주, 커맨드 라인 옵션을 변이 및 선택하여 테스팅 효과를 높이는 퍼징 기법, Journal of KIISE, Vol.49, Num. 11, Nov 2022
3. 이아청, 김윤호, 김문주, 유용한 커맨드 라인 옵션을 선택하여 커버리지와 오류 탐지 능력을 높이는 퍼징 기법, Korea Software Congress (KSC 21) (Best paper award)
4. 이아청, 김윤호, 김문주, 동적 함수 관련도를 이용한 퍼징 커버리지 향상 기법, Journal of KIISE, Vol.48, Num. 4, Apr 2021
5. 이아청, 김윤호, 김문주, 함수 관련도를 이용한 퍼징의 커버리지 향상, Korea Software Congress (KSC 19) (Best paper award)
6. 이아청, 김현우, 김윤호, 김문주, Bitfield 심볼릭 지원을 통한 Concolic 테스팅 효과 향상, Korea Computer Congress (KCC 18)