Personal tools
You are here: Home Publications

Publications

Books

  1. S.Cha, J.Y.Choi, M.Kim, I.Lee, M.Viswanathan (Eds.), Proceeding of 6th International Symposium of Automated Technology for Verification and Analysis (LNCS5311), Seoul, Korea, October 20-23, 2008 [BibTeX]

International Journals

  1. S. Hong, T. Kwak, B. Lee, Y. Jeon, B. Ko, Y. Kim, and M. Kim, MUSEUM: Debugging Real-World Multilingual Programs Using Mutation Analysis, Information and Software Technology (IST), volume 82, pages 80-95, Feb 2017
  2. S. Hong, M. Staats, J. Ahn, M. Kim, G. Rothermel, Are Concurrency Coverage Metrics Effective for Testing: A Comprehensive Empirical InvestigationJournal of Software Testing, Verification and Reliability (STVR), volume 25, issue 4, pages 334-370, June 2015
  3. S. Hong and M. Kim, A survey of race bug detection techniques for multithreaded programs, Journal of Software Testing, Verification and Reliability (STVR), volume 25, issue 3, pages 191-217, May 2015
  4. Z. Xu, Y.Kim, M. Kim, M. Cohen, and G. Rothermel, Directed Test Suite Augmentation: An Empirical InvestigationJournal of Software Testing, Verification and Reliability (STVR), volume 25, issue 2, pages 77-114, March 2015
  5. Y.Kim, O.Choi, M.Kim, J.Baik, and T.Kim, Validating Software Reliability Early through Statistical Model Checking, IEEE Software, pages 35-41, vol 30, issue 3, May/June 2013
  6. S. Hong and M. Kim, Effective Pattern-driven Concurrency Bug Detection for Operating Systems, Journal of Systems and Software (JSS), vol 86, issue 2, pages 377–388, Feb 2013
  7. 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, pp 355-374, May 2012 [BibTeX]
  8. Y.Choi and M.Kim, Controlled Composition and Abstraction for Bottom-up Integration and Verification of Abstract Components, Information and Software Technology (IST), vol 54, issue 1, page 119-136, Jan 2012 [BibTeX]
  9. M.Kim, Y.Kim, and H.Kim, A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study, IEEE Transactions on Software Engineering (TSE), vol 37, no 2, pages 146-160, March 2011 [BibTeX]
  10. J.Esposito and M.Kim, Using Formal Modeling with an Automated Analysis Tool to Design and Parametrically Analyze a Multi-robot Coordination Protocol: a case study, IEEE Transactions on Systems, Man, and Cybernetics (SMC) Part A, vol 37, no.3, pages 285-297, May 2007 [BibTeX]
  11. M.Kim, S.Kannan, I.Lee, O.Sokolsky, and M.Viswanathan, Java-MaC: A Run-Time Assurance Approach for Java Programs, Formal Methods in System Design (FMSD), vol 24, no 2, pages 129-155, Mar 2004 [BibTeX]
  12. K.Bhargavan, C.A.Gunter, M.Kim, I.Lee, D.Obradovic, O.Sokolsky, and M.Viswanathan, Verisim: Formal Analysis of Network Simulations, IEEE Transactions on Software Engineering (TSE), vol 28, no 2, pages 129-145, Feb 2002 [BibTeX]

 

International Conferences

    2015:

    1. S. Hong, B. Lee, T. Kwak, Y. Jeon, B. Ko, Y. Kim, and M. Kim, Mutation-based Fault Localization for Real-world Multilingual Programs, IEEE/ACM International Conference on Automated Software Engineering (ASE), Pages: 464 - 475, Nov 9-13, 2015 (acceptance rate:19%)
    2. 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%)

    2014:

    1. Y. Kim and M. Kim, SAT-based Bounded Software Model Checking for Embedded Software: A Case StudyAsia-Pacific Software Engineering Conference (APSEC), Pages: 55 - 62, Dec 1-4 2014
    2. S.Moon, Y.Kim, M.Kim, S.Yoo, Ask the Mutants: Mutating Faulty Programs for Fault LocalizationIEEE International Conference on Software Testing, Verification and Validation (ICST), Pages: 153 - 162, March 31-April 4, 2014 [tech. report and pptx slides w/ the revised suspiciousness metric and the extended experiment results] 
    3. S. Hong, Y. Park, M. Kim, Detecting Concurrency Errors in Client-side JavaScript Web Applications, IEEE International Conference on Software Testing, Verification and Validation (ICST), Pages: 61 - 70, March 31-April 4, 2014 
    4. Y.Kim, Z.Xu, M.Kim, M.Cohen, and G.Rothermel, Hybrid Directed Test Suite Augmentation: An Interleaving FrameworkIEEE International Conference on Software Testing, Verification and Validation (ICST), Pages: 263 - 272, March 31-April 4, 2014 

    2013:

    1. Y.Kim, Y.Kim, T.Kim, G.Lee, Y.Jang, and M.Kim, Automated Unit Testing of Large Industrial Embedded Software using Concolic TestingIEEE/ACM Automated Software Engineering (ASE) Experience track, Pages: 519 - 528, Nov 11-15, 2013  
    2. S. Hong, M. Staats, J. Ahn, M. Kim, and G. Rothermel, The Impact of Concurrent Coverage Metrics on Testing EffectivenessIEEE International Conference on Software Testing, Verification and Validation (ICST), Pages: 232 - 241, Mar 18-22, 2013 (acceptance rate:25%)

    2012:

    1. Y.J.Kim and M.Kim, Hybrid Statistical Model Checking Technique for Reliable Safety Critical SystemsIEEE Intl. Symp. on Software Reliability Engineering (ISSRE),Pages: 51 - 60, Dallas, TX USA, Nov 27-30, 2012
    2. Y.J.Kim, M.Kim, and T.Kim,  Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation, Haifa Verification Conference (HVC), Pages 162-177, Haifa, Israel, Nov 6-8, 2012
    3. M. Staats, S. Hong, M. Kim, and G. Rothermel, Understanding User Understanding: Determining Correctness of Generated Program Invariants, Intl. Symp. on Software Testing and Analysis (ISSTA), Pages 188-198, July 2012
    4. S. Hong, J. Ahn, S. Park, M. Kim, and M. J. Harrold, Testing Concurrent Programs to Achieve High Synchronization Coverage, Intl. Symp. on Software Testing and Analysis (ISSTA), Pages 210-220, July 2012
    5. Y.Kim, M.Kim, Y.J.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%)
    6. M.Kim, Y.Kim and G.Rothermel, A Scalable Distributed Concolic Testing Approach: An Empirical EvaluationIEEE International Conference on Software Testing, Verification and Validation (ICST),  Pages: 340 - 349, April 17-21, 2012
    7. M.Kim, Y.Kim and Y.Jang, Industrial Application of Concolic Testing on Embedded Software: Case StudiesIEEE 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%)

    2011:

    1. Z.Xu, Y.Kim, M.Kim and G.Rothermel, A Hybrid Directed Test Suite Augmentation Technique, IEEE Intl. Symp. on Software Reliability Engineering (ISSRE), Pages: 150 - 159, Hiroshima, Japan, Nov 29-Dec 2 2011 (acceptance rate: 25%) [BibTeX]
    2. 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) [BibTeX] [invited talk slides]
    3. 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 (4 page short paper) [BibTeX]
    4. 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 (4 page short paper)

    2010:

    1. Z.Xu, Y.Kim, M.Kim, G.Rothermel, and M.Cohen, Directed Test Suite Augmentation: Techniques and TradeoffsACM SIGSOFT Foundation of Software Engineering (FSE), pages 257-266, pages 257-266, Santa Fe, New Mexico, USA, Nov 7-11 2010 (acceptance rate: 20%) [BibTeX]
    2. 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) (LNCS 6255), pages 199-213, Natal, Brazil, Sep 1-3 2010 [BibTeX]

    2009:

    1. 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) [BibTeX]
    2. M.Kim, S.Hong, C.Hong and T.Kim, Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay,  Model-based Testing (ENTCS vol 253, no 2), pages 21-36, York, UK, Mar 22 2009 [BibTeX]

    2008:

    1. M.Kim, Y.Kim and H.Kim, Unit Testing of Flash Memory Device Driver through a SAT-based Model Checker, IEEE/ACM Automated Software Engineering (ASE), pages 198-207, L'Aquila, Italy, Sep 15-19 2008 (acceptance rate: 12%) [BibTeX]
    2. M.Kim, Y.Choi, Y.Kim and H. Kim, Formal Verification of a Flash Memory Device Driver - an Experience Report, Spin Workshop (LNCS 5156), pages 144-159, LA, USA, August 10-12 2008 [BibTeX]
    3. M.Kim, Y.Kim, Y.Choi, and H.Kim, Pre-testing Flash Device Driver through Model Checking Techniques, IEEE Intl. Conf. on Software Testing, Verification and Validation (ICST), pages 475-484,  Lillehammer, Norway, April 9-11 2008  (acceptance rate: 20%) [BibTeX]

    2007 and before:

    1. M.Kim, Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances, Automated Technology for Verification and Analysis (ATVA) (LNCS 4762), pages 489-500, Tokyo, Japan, Oct 22-25 2007 (short paper) [BibTeX]
    2. K.C.Kang, J.Lee, B.Kim, M.Kim, C.Seo, and S.Yu, Re-engineering a Credit Card Authorization System for Maintainability and Re-usability of Components: a Case Study, Intl. Conf. on Software Reuse (ICSR)(LNCS 4039), pages 156-169, Turin, Italy, June 12-15 2006 [BibTeX]
    3. M.Kim and K.C.Kang, Formal Construction and Verification of Home Service Robots: A Case StudyAutomated Technology for Verification and Analysis (ATVA) (LNCS 3707), pages 429-443, Taiwan, Taipei, Oct 4-7 2005 [BibTeX]
    4. K.C.Kang, M.Kim, J.Lee, and B.Kim, Feature-oriented Re-engineering of Legacy Systems into Product Line Assets: A Case Study, Software Product Line Conference (SPLC) (LNCS 3714), pages 45-56, Rennes, France, Sep 26-29 2005 [BibTeX]
    5. M.Kim, J.Lee, K.C.Kang, Y.Hong, and S.Bang, Re-engineering Software Architecture of Home Service Robots: A Case Study, Intl. Conf. on Software Engineering (ICSE) Experience track, pages 505-513, St. Louis Missouri, USA, May 15-21 2005 (acceptance rate of Experience track: 19%) [BibTeX]
    6. K.C.Kang, M.Kim, J.Lee, B.Kim, Y.Hong, H.Lee, and S.Bang, 3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ, IEEE Intl. Conf. on Robotics and Automation (ICRA), pages 2903-2908, Barcelona, Spain, April 18-22 2005 [BibTeX]
    7. M.Kim, K.C.Kang, and H.Lee, Formal Verification of Robot Movements-a Case Study on Home Service Robot SHR100, IEEE Intl. Conf. on Robotics and Automation (ICRA), pages 4739-4744, Barcelona, Spain, April 18-22 2005 [BibTeX]
    8. M.Viswanathan and M.Kim, Foundations for the Run-time Monitoring of Reactive Systems: Fundamentals of the MaC Language, Intl. Conf. on Theoretical Aspects of Computing (ICTAC) (LNCS 3407), pages 543-556, Guiyang, China Sep 20-24 2004 [BibTeX]
    9. M.Kim, S.Kannan, I.Lee, O.Sokolsky, and M.Viswanathan, Computational Analysis of Run-time Monitoring – Fundamentals of Java-MaCRuntime Verification (RV) (ENTCS vol 70 no 4), pages 80-94, Copenhagen, Denmark, July 26 2002 [BibTeX]
    10. M.Kim, I.Lee, U.Sammapun, J.Shin, and O.Sokolsky, Monitoring, Checking, and Steering of Real-time Systems, Runtime Verification (RV) (ENTCS vol 70 no 4), pages 95-111, Copenhagen, Denmark, July 26 2002 [BibTeX]
    11. M.Kim, S.Kannan, I.Lee, O.Sokolsky, and M.Viswanathan, Java-MaC: a Run-time Assurance Tool for Java Programs, Runtime Verification (RV) (ENTCS vol 55 no 2), pages 218-235, Paris, France, July 23 2001 [BibTeX]
    12. K.Bhargavan, C.A.Gunter, M.Kim, I.Lee, D.Obradovic, O.Sokolsky, and M.Viswanathan, Verisim: Formal Analysis of Network Simulations, ACM Intl. Symp. on Software Testing and Analysis (ISSTA), pages 2-13, Portland, Oregon, USA, August 22-24 2000 (acceptance rate:23%) [BibTeX]
    13. S.Kannan, M.Kim, I.Lee, O.Sokolsky, and M.Viswanathan, Run-time monitoring and steering based on formal specifications, Modeling Software System Structures in a Fastly Moving Scenario, pages 167-177, Santa Margherita Ligure, Italy, June 13-16 2000 (invited paper) [BibTeX]
    14. R.Alur, J.Esposito, M.Kim, V.Kumar and I.Lee, Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot CoordinationWorld Congress On Formal Methods (FM) (LNCS 1708), pages 212-232, Toulouse, France, Sep 20-24 1999 [BibTeX]
    15. I.Lee, S.Kannan,  M.Kim, O.Sokolsky, M.Viswanathan, Runtime Assurance Based On Formal Specifications, Parallel and Distributed Processing Techniques and Applications (PDPTA), pages 279-287, Monte Carlo Resort, Las Vegas, Nevada, USA, June 28 - July 1, 1999 [BibTeX]
    16. M.Kim, M.Viswanathan, H.B.Abdallah, S.Kannan, I.Lee and O.Sokolsky, Formally Specified Monitoring of Temporal Properties, European Conference on Real-Time Systems (ECRTS), pages 114-122, York, UK, June 9-11, 1999 [BibTeX]
    17. O.Sokolsky, S.Kannan, M.Kim, I.Lee and M.Viswanathan , Steering of Real-Time Systems based on Monitoring and Checking, Fourth International Workshop on Object-Oriented Real-time Dependable Systems, pages 11-18, Santa Barbara, California, USA, Jan 27-29, 1999 [BibTeX]
    18.  I.Lee, H.Ben-Abdallah, S.Kannan, M.Kim, O.Sokolsky, M.Viswanathan, A Monitoring and Checking Framework for Run-time Correctness Assurance, Korea-U.S. Technical Conference on Strategic Technologies, Oct 1998

    Domestic Journals (Written in Korean)

    1. 김윤호, 김문주, 안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법, Journal of KIISE: Software and Applications, Vol. 44, Num. 2, Feb 2017
    2. 전이루, 김윤호, 홍신, 김문주, Mutagen4J: 효과적인 Java 프로그램 변이 생성 도구, Journal of KIISE: Software and Applications, Vol. 43, Num. 9, Sep 2016
    3. 김윤호, 김태진, 김문주, 이호정, 장훈, 박민규, 효과적인 내장형 소프트웨어의 정수 확장(Integer Promotion) 버그 검출 기법, Journal of KIISE: Software and Applications, Vol. 43, Num 6, Jun 2016
    4. 문영주, 김문주, 김태효, 내장형 시스템을 위한 아키텍처 모델링 언어 개발, Journal of KIISE: Software and Applications, Vol. 41, Num. 4, Apr 2014
    5. 박용배, 홍신, 김문주, 크로스-브라우저 프로파일링을 통한 웹 어플리케이션 성능버그 탐지, Journal of KIISE: Computing Practices and Letters, Vol. 19, Num. 11, Nov. 2013
    6. 문석현, 김윤호, 김문주, FEAST: 테스트 케이스의 결함 실행확률을 이용한 향상된 결함 위치추정 기법, Journal of KIISE: Software and Applications, Vol 40, Num 10, Oct 2013
    7. 김윤호, 박용배, 김문주, 사례연구를 통한 정적 프로그램 분석 기법을 사용하는 도구의 비교, Journal of KIISE: Computing Practices and Letters,Vol 19, Num 8, Aug 2013
    8. 김윤호, 김문주, 장윤규, CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 향상된 Concolic 테스팅 기법, Journal of KIISE: Software and Applications, Vol 40, Num 2, Feb 2013
    9. 김영주, 김문주, 김윤호, 정의준, Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교, Journal of KIISE: Computing Practices and Letters, Vol 18, Num 4, Apr 2012
    10. 김문주, 홍신, "모델기반의 커널 테스팅 프레임워크", Journal of KIISE: Software and Applications,  Vol  36, Num 7,  July 2009

    Domestic Conferences (Written in Korean)

    1. 김윤호, 김현우, 양웅규, 김문주, 효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교: Proteum과 Milu를 사용한 사례 연구, Korea Computer Congress (KCC), Dec 21-23, 2016 (Best paper award)
    2. 김윤호, 김문주, 안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법, Korea Computer Congress (KCC), Jun 29-Jul 1, 2016 (Best paper award)
    3. 김윤호, 김문주, 입력 커버리지를 활용한 효율적인 동적 기호 실행 탐색 기법, Korea Conference on Software Engineering (KCSE), 2016 (short paper) (Best short paper award)
    4. 김태진, 김문주, 이호정, 장훈, 박민규, 임베디드 소프트웨어에서 발생하는 정수 확장 (Integer Promotion) 버그 검출을 위한 정적 분석 기법, Korea Computer Congress (KCC), Dec 17-19, 2015 (Best paper award)
    5. 박용배, 홍신, 김문주, 조준희, 이동주, 장훈, 이벤트 기반 임베디드 소프트웨어를 위한 자동화 테스팅 기법: LG전자 오븐 제어 소프트웨어 사례 연구, Korea Conference on Software Engineering (KCSE), Jan 28-30, 2015 (short paper)  (Best short paper award)
    6. 문석현, 김문주, 변형 프로그램의 동적 정보에 기반한 자동 결함 위치추정, Korea Conference on Software Engineering (KCSE), Feb 12-14, 2014 (4 pages short paper) (Distinguished best short paper award)

    7. 박용배, 김윤호, 조준희, 김문주, 심볼릭 라이브러리를 이용한 효과적인 Concolic 테스팅, Korea Conference on Software Engineering (KCSE), Feb 12-14, 2014 (4 pages short paper) (Best short paper award)

    8. 문영주, 김문주, 김태효, 내장형 시스템을 위한 아키텍처 모델링 언어 개발, Korea Computer Congress (KCC), Nov 15-16, 2013

    9. 안재민, 김문주, 자바스크립트 기반 실제 웹 어플리케이션의 오류 조사, Korea Conference on Software Engineering (KCSE), Jan 30 - Feb 1, 2013
    10. 문석현, 김윤호, 김문주, 테스트 케이스의 결함 실행확률을 이용한 향상된 결함 위치추정(fault localization) 기법, Korea Conference on Software Engineering (KCSE), Jan 30 - Feb 1, 2013 (4 pages short paper)
    11. 박용배, 김윤호, 김문주, 정적 프로그램 분석 기법을 사용하는 도구의 비교: Coverity와 Sparrow를 사용한 libexif 사례 연구, Korea Computer Congress (KCC), Nov 23-24, 2012
    12. 김윤호, 김문주, 장윤규, CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 Concolic 테스팅 기법,  Korea Computer Congress (KCC), June 27-29, 2012 (Best paper award)
    13. 홍신, 김문주, Matt Staats, 기호실행을 통한 자동 생성된 불변식의 검정, Korea Conference on Software Engineering (KCSE), Feb 8-10, 2012 (4 pages short paper)
    14. Duc Bui Hoang, 김윤호, 김문주, 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)

    15. 안재민, 홍신, 김문주, 동시성 프로그램 테스트를 위한 구조 커버리지 기법 조사, Korea Conference on Software Engineering (KCSE), Feb 8-10, 2012 (4 pages short paper)

    16. 김영주, 김윤호, 김문주, Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구, Korea Computer Congress (KCC), Nov 25-26, 2011 

    17. 김윤호, 김문주, 동적 심볼릭 수행과 유전 알고리즘을 사용한 테스트 생성 기법 비교, Korea Conference on Software Engineering (KCSE), Feb 9-11, 2011
    18. 김윤호, 김문주, 동적 심볼릭 수행을 응용한 테스트 케이스 자동 생성 도구 비교, Korea Conference on Software Engineering (KCSE), Feb 8-10, 2010

    19. 김문주, 홍창기, 홍신, 검증반례재연을 통한 모델 기반 커널 테스팅, Korea Conference on Software Engineering (KCSE), Feb 9-11, 2009 (Best paper award)

    20. 김문주, 김윤호, 김호태, 모델체킹 도구를 사용한 플래시 메모리 디바이스 드라이버 검증, Korea Conference on Software Engineering (KCSE), Feb 20-22, 2008

    Other Publications

    1. 이지훈, 김윤호, 김문주 "메모리 모델 적용을 통한 심볼릭 포인터 참조의 구현", 소프트웨어공학소사이어티 논문지 Vol 22, Number 4, Dec 2009
    2. 김문주, 강인혜, "End-to-End Deployment of Formal Methodology – a Case Study on Multiple Reader/Writer Program”, 소프트웨어공학회 논문지 vol 15, no2, 2002
    3. M Kim, M Viswanathan, H Ben-Abdallah, S Kannan, I Lee, O Sokolsky, Mac: A framework for run-time correctness assurance of real-time systems, Technical Reports (CIS dept. Univ. of Penn), 1998

    Dissertation and Thesis 

    1. Yunho Kim, Automated Unit Test Generation with Realistic Unit Context Synthesis for Low False Alarms, Ph.D Dissertation, School of Computing, KAIST, Feb. 2017 (Best dissertation award)
    2. Taejin Kim, Coverage Improvement of Concolic Testing by Optimizing Symbolic Array Index Operations, Master's Thesis, School of Computing, KAIST, Aug. 2016
    3. Taehoon Kwak, Mutation-based Debugging of Real-world Multilingual Programs, Master's Thesis, School of Computing, KAIST, Feb. 2016
    4. Shin Hong, Effective and Efficient Test Generation for Multithreaded Programs Using Concurrency Coverage Metrics, Ph.D Dissertation, School of Computing, KAIST, Aug. 2015
    5. Yongbae Park, Automated Testing of Reactive Software with Non-deterministic Events: A Case Study on LG Electric Oven, Master's Thesis, Computer Science Department, KAIST, Feb. 2015 (Best thesis award)
    6. Seokhyeon Moon, Effective Software Fault Localization using Dynamic Program Behaviors, Master's Thesis, Computer Science Department, KAIST, Feb. 2014 (Best thesis award)
    7. Youngjoo Kim, Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems, Master's Thesis, Computer Science Department, KAIST, Feb. 2013 (Distinguished best thesis award)
    8. Shin Hong, Concurrency Bug Detection through Improved Pattern Matching Using Semantic Information, Master's Thesis, Computer Science Department, KAIST, Feb. 2010 [BibTeX]

    Awards (except Best Paper Awards @ conf.)

    1. Y. Kim, Automated Unit Test Generation with Realistic Unit Context Synthesis for Low False Alarms, Best Ph.D's Dissertation Award at School of Computing, KAIST, Feb 2017
    2. Y. Kim, Effective Concolic Unit Testing based on Realistic Unit, Bronze award at Samsung Humantech paper competition, Feb 2017
    3. 김윤호, 실제적인 유닛 컨텍스트를 활용한 효과적인 자동 Concolic 유닛 테스팅, Second prize at KIISE's 35th competition for graduate students, Apr 2016
    4. S. Hong, Excellent Teaching Assistant Award  CS Department, KAIST (CS453 Software Testing and Verification, 2014 Fall semester), Mar 2015
    5. Y. Park, Automated Testing of Reactive Software with Non-deterministic Events: A Case Study on LG Electric Oven, Best Master's Thesis Award at CS Department, KAIST, Feb 2015

    6. 홍신, 박용배, 조합적 동시성 커버리지를 이용한 효과적인 동시성 프로그램 테스트 생성, Best paper award at KIISE's 33rd student research paper competition (graduate track), June 2014

    7. S. Moon, Eff ective Software Fault Localization using Dynamic Program Behaviors, Best MS thesis award at CS dept. KAIST, Feb 2014

    8. S. Moon and Y. Kim, MUSE: Precise Fault Localization based on Program Mutants, Bronze award at Samsung Humantech paper competition, Feb 2014

    9. S. Hong and Y. Park, WAVE: Testing Framework to Detect Concurrency Bugs in Dynamic Web Applications, Qualcomm Fellowship Award, Aug 2013

    10. S. Moon and Y. Kim, FEAST: Coverage-based Fault Localization with Fault Weights on Test Cases, Best paper award at KIISE's 32nd competition (graduate track), Apr 2013
    11. Y. Park, Performance Bug Detection in Web Applications through Cross-browser Profiling, Grand prize at KIISE's 32nd competition (undergraduate track), Apr 2013
    12. Y.J. Kim, Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems, Distinguished best MS thesis award at CS dept. KAIST, Feb 2013
    13. M.Kim, 한국정보과학회 소프트웨어 소사이어티 공로상, Jan 2013
    14. S. Hong, COBET: Pattern-driven Concurrency Bug Detection Framework, Bronze award at Samsung Humantech paper competition, Feb 2012
    15. 박용배, 김윤호, 김문주, 정적 프로그램 분석 기법을 사용하는 도구의 비교: Coverity와 Sparrow를 사용한 libexif 사례 연구, Korea Computer Congress (KCC), Best presentation award, Nov 23-24, 2012 
    16. 김영주, 김윤호, 김문주, Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구, Korea Computer Congress (KCC),Best presentation award, Nov 25-26, 2011 
    17. 이준희, 공개소프트웨어 운영체제 커널의 정형검증, Silver award at KAIST Undergraduate Research Program (URP), Aug 2008

    Link to the publication page at  google site (outdated)
      Document Actions