top of page
International Journal Paper on Concolic testing

1. Y.Kim, D.Lee, J.Baek, M.Kim, MAESTRO: Automated Test Generation Framework for High Test Coverage and Reduced Human Effort in Automotive Industry, Information and Software Technology (IST), under minor revision

2. Z. Xu, Y. Kim, M. Kim, M. Cohen, and G. Rothermel, Directed Test Suite Augmentation: An Empirical Investigation, Journal of Software Testing, Verification and Reliability (STVR), volume 25, issue 2, pages 77-114, March 2015

3. M.Kim, Y.Kim and Y.Choi, Concolic Testing of the Multi-sector Read Operation for Flash Storage Platform Software, Formal Aspects of Computing (FACJ), vol 24, no 2, May 2012

International Conference on Concolic testing

1. Y. Kim, S. Hong and M. Kim, Target-Driven Compositional Concolic Testing with Function Summary Refinement for Effective Bug Detection, The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), ALLINN, ESTONIA, AUGUST 26-30 2019 (acceptance rate: 24.4%)

2. Y. Kim, D. Lee, J. Baek, and M. Kim, Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive Industry, Intl. Conf. on Software Engineering (ICSE) Software Engineering In Practice (SEIP) track, Montreal, Canada, May 25-31, 2019 (acceptance rate:25%)

3. Y. Kim, Y. Choi, and M. Kim, Precise Concolic Unit Testing of C Programs with Extended Units and Symbolic Alarm Filtering, Intl. Conf. on Software Engineering (ICSE), 2018 (acceptance rate:21%)

4. Y. Park, S. Hong, M. Kim, D. Lee, and J. Cho, Systematic Testing of Reactive Software with Non-deterministic Events: A Case Study on LG Electric Oven, Intl. Conf. on Software Engineering (ICSE) Software Engineering In Practice (SEIP) track, Pages: 29 – 38, May 2015 (acceptance rate of SEIP track: 23%)

5. Y.Kim, Z.Xu, M.Kim, M.Cohen, and G.Rothermel, Hybrid Directed Test Suite Augmentation: An Interleaving Framework, IEEE International Conference on Software Testing, Verification and Validation (ICST), Pages: 263-272, March 31-April 4, 2014 (acceptance rate: 28%)

6. Y.Kim, Y.Kim, T.Kim, G.Lee, Y.Jang, and M.Kim, Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing, IEEE/ACM Automated Software Engineering (ASE) Experience track, Pages: 519 – 528, Nov 11-15, 2013

7. Y.Kim, M.Kim, Y.Kim, and Y.Jang, Industrial Application of Concolic Testing Approach: A Case Study on libexif by Using CREST-BV and KLEE, Intl. Conf. on Software Engineering (ICSE), Software Engineering in Practice (SEIP) track, Pages: 1143 – 1152, June 2-9, 2012 (acceptance rate of SEIP track: 19%)

8. M.Kim, Y.Kim and G.Rothermel, A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation, IEEE International Conference on Software Testing, Verification and Validation (ICST), Pages: 340 - 349, April 17-21, 2012 (acceptance rate: 27%)

9. M.Kim, Y.Kim and Y.Jang, Industrial Application of Concolic Testing on Embedded Software: Case Studies, IEEE International Conference on Software Testing, Verification and Validation (ICST) Industrial track, Pages: 390 - 399, April 17-21, 2012, nominated as a best paper (acceptance rate of Industry track: 23%)

10. Z.Xu, Y.Kim, M.Kim and G.Rothermel, A Hybrid Directed Test Suite Augmentation Technique, IEEE Intl. Symposium on Software Reliability Engineering (ISSRE), Pages: 150 - 159, Hiroshima, Japan, Nov 29-Dec 2 2011 (acceptance rate: 25%)

11. M.Kim and Y.Kim, Automated Analysis of Industrial Embedded Software, Automated Technology for Verification and Analysis (ATVA), Pages:51-59, Taipei, Taiwan, Oct 11-14 2011 (invited paper)

12. Y.Kim and M.Kim, SCORE: a Scalable Concolic Testing Tool for Reliable Embedded Software, ACM SIGSOFT Foundation of Software Engineering (FSE) Tool demonstration track, pages 420-423, Szeged, Hungary, Sep 5-9 2011

13. Y.Kim, M.Kim and Y.Jang, Concolic Testing on Embedded Software - Case Studies on Mobile Platform Programs, ACM SIGSOFT Foundation of Software Engineering (FSE) Industrial track, Szeged, Hungary, Sep 5-9 2011

14. Z.Xu, Y.Kim, M.Kim, G.Rothermel, and M.Cohen, Directed Test Suite Augmentation: Techniques and Tradeoffs, ACM SIGSOFT Foundation of Software Engineering (FSE), pages 257-266, Santa Fe, New Mexico, USA, Nov 7-11 2010 (acceptance rate: 20%)

15. Y.Kim, M.Kim, N.Dang, Scalable Distributed Concolic Testing: a Case Study on a Flash Storage Platform, Grand Challenge in Verified Software Track @ Intl. Conf. on Theoretical Aspects of Computing (ICTAC), pages 199-213, Natal, Brazil, Sep 1-3 2010

16. M.Kim and Y.Kim, Concolic Testing of the Multi-sector Read Operation for Flash Memory File System, Grand Challenge in Verified Software Track @ Brazilian Symposium on Formal Methods (SBMF), pages 251-265, Gramado, Brazil, Aug 19-21 2009 (LNCS 5902)

Domestic Journal on Concolic testing

1. 김현우, 김윤호, 김문주, Concolic 테스팅 도구 CROWN의 적용 가능성 및 사용성 개선 연구, Journal of KIISE: Software and Applications, Vol. 45, Num. 10, Oct 2018

2. 임현수, 김윤호, 김문주, C 프로그램의 동적 및 정적 분석을 통한 시스템 실행에서의 유닛 입력 값 자동 수집 및 재연, Journal of KIISE: Software and Applications, Vol. 45, Num. 10, Oct 2018

3. 김윤호, 김문주, 안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법, Journal of KIISE: Software and Applications, Vol. 44, Num. 2, Feb 2017

4. Y.Kim, T.Kim, M.Kim, H.Lee, H.Jang, and M.Park, Effective Integer Promotion Bug Detection Technique for Embedded Software, Journal of KIISE: Software and Applications, Vol. 43, Num 6, Jun 2016

5. Y.Kim, M.Kim, Y.Jang, CREST-BV: CREST-BV: An Improved Concolic Testing Technique Supporting Bitwise Operations for Embedded Software, Journal of KIISE: Software and Applications, To be published

6. Y.Kim, M.Kim, Y.Kim, and E.Jung, Comparative Study of KLEE Concolic Testing Tool, Journal of KIISE: Computing Practices and Letters, Vol 18, Num 4, Apr 2012

Domestic Conference on Concolic testing

1. 박건우, 송형곤, 이주현, 조규태, 김윤호, 김문주, 국방 무기 체계 SW 품질 향상을 위한 Concolic 테스팅 기술, Korea Software Congress (KSC), Dec 19-21, 2018 (Distinguished best paper award)

2. 이아청, 김현우, 김윤호, 김문주, Bitfield 심볼릭 지원을 통한 Concolic 테스팅 효과 향상, Korea Computer Congress (KCC), Jun 20-22, 2018

3. ​김현우, 김윤호, 김문주, Concolic 테스팅 도구 CREST 의 사용자 친화성 향상 연구: Windows OS 로의 포팅과 개선된 CREST UI 을 통한 CREST 활용 및 분기 커버리지 분석 작업의 효율 증가, Korea Conference on Software Engineering (KCSE), Jan 29-31, 2018 (Best paper award)

4. 임현수, 김윤호, 김문주, 시스템 테스트 케이스를 이용한 C 프로그램의 동적 유닛 입력 값 자동 수집 및 재연 기술, Korea Software Congress (KSC), Dec 20-22, 2017 (Distinguished best paper award)

5. Y.Kim and M.Kim, Efficient Search Strategy of Dynamic Symbolic Execution Using Input Coverage, Korea Conference on Software Engineering (KCSE), 2016 (short paper) (Best short paper award)

6. T.Kim, M.Kim, H.Lee, H.Jang, and M.Park, Detecting Integer Promotion Bugs with Embedded Software using Static Analysis Technique, Korea Computer Congress (KCC), Dec 17-19, 2015 (Best paper award)

7. Y.Park, S.Hong, M.Kim, J.Cho, D.Lee, and H.Jang, Automated Testing Technique for Event-driven Embedded Software: Case Study on LG Micro-oven Software, Korea Conference on Software Engineering (KCSE), Jan 28-30, 2015 (short paper)  (Best short paper award)

8. Y.Park, Y.Kim, J.Cho, M.Kim, Effective Concolic Testing with Symbolic Library, Korea Conference on Software Engineering (KCSE), Feb 12-14, 2014 (4 pages short paper) (Best paper award)

9. Y.Kim, M.Kim, Y.Jang, CREST-BV: Concolic Testing Technique for Supporting Bitwise Operations of Embedded Software,  Korea Computer Congress (KCC), June 27-29, 2012 (Best paper award)

10. D.Hoang, Y.Kim and M.Kim, A Case Study of the Application of Dynamic Symbolic Execution to Real-World Binary Programs, Korea Conference on Software Engineering (KCSE), Feb 8-10, 2012 (4 pages short paper)

11. Y.Kim, Y.Kim, and M.Kim, A Case Study of KLEE Concolic Testing Tool, Korea Computer Congress (KCC), Nov 25-26, 2011 (Best paper award)

12. Y.Kim and M.Kim, Dynamic Symbolic Execution and Genetic Algorithm for Test Case Generation, Korea Conf. on Software Engineering (KCSE), Feb 9-11,2011

13. Y.Kim and M.Kim, Comparative Study on Concolic Testing Tools, Korea Conf. on Software Engineering (KCSE), Feb 8-10, 2010

Publications on Concolic testing

bottom of page