Personal tools
You are here: Home Projects

Projects

Government Projects

  1. NRF ERC 경북대 SW재난센터 참여 연구 (1그룹 SW재난 탐지), 2021.06.01 - 현재 (KRW 189,250,000, 2021R1A5A1021944)
  2. NRF 중견연구: Regression testing을 위한 효과적이고 효율적인 SW 유닛 Fuzzing, 2021.3.1-2024.2.29 (KRW 577,361,000, 2021R1A2C2009384)
  3. NRF 중견연구: 동적/정적 SW 데이터 기반 학습을 통해 향상된 SW 오류 검출 및 위치 추정 기술, 2019.6.1-2021.5.31 (KRW 154,687,000)

  4. NRF 차세정 총괄연구: 지능형 자동화를 통한 풀스택 SW의 다중언어 검증 및 디버깅, 2017.8.1 - 2021.3.31 (KRW 2,340,000,000)

  5. NRF 중견연구: SW 품질 향상을 위한 테스팅 자동화 및 디버깅 자동화 기술, 2016.6.1-2019.5.31 (KRW 272,250,000)

  6. NRF 효과적인 소프트웨어 테스팅을 위한 동적 커버리지 연구, 2014.12-2016.12 (KRW 80,000,000)
  7. Tools for Highly Secure Software Development (Part III. Advanced Testing Techniques for Secure Software),  National IT Industry Promotion Agency (NIPA), Sep 2013-Dec 2016 (KRW 155,140,000)
  8. Development of Mobile S/W Security Testing Tools for Detecting New Vulnerabilities of Android, Korea Communications Commission, Apr 2013-Mar 2016, (KRW 200,000,000)
  9. Innovative Software Analysis Technology Research & Development (Part III-2 of ERC Research On Software Analysis for Error-free Computing (ROSAEC)), Sep 2008 – Feb 2015, Korea Ministry of Education, Science and Technology (MEST)/ National Research Foundation of Korea(NRF) (KRW 245,750,000)
  10. Testing Technique for Detecting Concurrency Bugs of Multi-threaded Programs, Sep 2012-Aug 2015, National Research Foundation of Korea (NRF) (KRW 293,000,000)
  11. Highly Reliable Micro Dual Operating System, June 2012-Feb 2017, Electronics and Telecommunications Research Institute (ETRI) (KRW 200,000,000)
  12. Application of Dynamic Symbolic Execution for Binary Programs, April 2011-Oct 2011, National Security Research Institute (NSRI) (KRW 35,000,000)
  13. Improved Automated Test Case Generation through Parallelized Concolic Testing Technique, May 2010-April 2011, National Research Foundation (NRF) (KRW 49,996,000)
  14. Concurrency Bug Detection through Improved Pattern Matching Using Semantic Information, May 2009-April 2010, National Research Foundation (NRF) (KRW 48,369,000)
  15. Advanced Technology for Software Process Improvement (Part of ITRC Software Process Improvement Center), Jan 2009-Dec 2010,  IITA (KRW 33,400,000)
  16. SAT Solver Based Verification of Embedded Software for Improved Reliability, July 2008-June 2009, Korea Research Foundation (KRF) (KRW 26,400,000),
  17. Target Architecture Independent Development Technique, July 2008-Jan 2009, Electronics and Telecommunications Research Institute (ETRI) (KRW 30,000,000)
  18. Software Verification Techniques for Improved Productivity of Embedded Software, Jan 2008-Dec 2008, KAIST IT Institute (KRW 30,000,000)
  19. Formal Analysis of Embedded Software for High Reliability, Sep 2006-Dec 2008, KAIST (KRW 150,000,000)

Industry Projects


  1. SW 변형 분석 기법을 사용한 정확한 SW 결함 위치 추정(5/5차), 2019-07-01~2020-06-30, 삼성전자 (KRW 100,000,000)
  2. SW 변형 분석 기법을 사용한 정확한 SW 결함 위치 추정(4/5차), 2018-07-01~2019-06-30, 삼성전자 (KRW 100,000,000)
  3. 요구사항 기반 동적 신뢰성시험 개발 방법론 연구, 2018-03-01~2018-10-31, LIG넥스원 (KRW 60,000,000)
  4. 경로탐색 알고리즘(Concolic)을 활용한 코드 테스트 자동생성 및 판정 솔루션 개발, 2017-10-30~2018-11-30, 현대모비스 (KRW 85,000,000)
  5. SW 변형 분석 기법을 사용한 정확한 SW 결함 위치 추정(3/5차), 2017-07-01~2018-06-30, 삼성전자 (KRW 60,000,000)
  6. SW품질 향상을 위한 SW 코드 커버리지 검증 강화 연구 (3/3차), 2017-04-01~2018-03-31, 현대자동차 (KRW 59,500,000)
  7. C 소스코드 대상 유닛 테스팅 자동화 프레임워크 연구(2/5차), 2016.7-2017.6, 삼성전자 (KRW 60,000,000)
  8. SW품질 향상을 위한 SW 코드 커버리지 검증 강화 연구 (2/3차), 2016.4-2016.11, 현대자동차 (KRW 59,500,000)
  9. C 소스코드 대상 유닛 테스팅 자동화 프레임워크연구(1/5차), 2015.7-2016.6, 삼성전자 (KRW 60,000,000)
  10. 자체개발 소프트웨어의 동적 검증 강화를 위한 Concolic 시험 기법 연구 (1/3차), 2015.5-2016.4, 현대자동차 (KRW 51,000,000)
  11. 백색가전 제품에 탑제되는 Microcontroller의 특성으로 인한오류 검출 프레임워크 개발, 2015.3-2015.9, LG전자 (KRW 60,000,000)
  12. Testing and Replaying Framework for Multi-threaded Programs, June-Dec 2014, Samsung Electronics (KRW 50,000,000)
  13. Effective and Efficient Embedded Software Testing by Using Concolic Testing Technique, Apr-Aug 2014, LG Electronics (KRW 50,000,000)
  14. Improved Testing Accuracy and Bug Detection Capability for Concolic Testing Technique, Mar-Dec 2014, Samsung Electronics (KRW 97,000,000)
  15. Unit Testing Strategies for Effective Concolic Testing, Feb 2013-Nov 2013, Samsung Electronics (KRW 97,000,000)
  16. Static Analysis of Embedded Software Architecture, Dec 2012-Dec 2013, FormalWorks Inc. (KRW 50,000,000)
  17. Performance Bug Detection Framework for JavaScript Programs, Aug 2012-June 2013, Microsoft Korea (KRW 60,000,000)
  18. Advanced  Concolic Testing Framework, Mar 2012-Dec 2012, Samsung Electronics (KRW 90,000,000),
  19. Dynamic Analysis of Embedded Software, Dec 2011-Dec 2011, FormalWorks Inc. (KRW 50,000,000)
  20. Automated Test Case Generation Through Concolic Testing, Mar 2011-Oct 2011, Samsung Electronics (KRW 70,000,000),
  21. Automated Test Case Generation Through Concolic Testing, June 2010-Dec 2010, Samsung Electronics (KRW 60,000,000),
  22. Formal Verification of a Flash File System, Nov 2007-Aug 2008, Samsung Electronics (KRW 49,000,000)
  23. Formal Verification of a Flash Device Driver, Oct 2006 – May 2007, Samsung Electronics (KRW 39,987,000) (with Prof. Sungdeok Cha)
  24. Applicable Formal Verification Techniques on Embedded Systems, Sep 2006-April 2009, LG Electronics (KRW 19,000,000)

Industry Consulting

  • Automated Embedded Software Testing Through Concolic Testing, Jan 2013-Dec 2013, LG Electronics (KRW 80,000,000)
  • Automated Embedded Software Testing Techniques, Oct 2012-Dec 2012, LG Electronics (KRW 28,600,000)
  • Formal Verification of Operation Systems, Aug 2011-Nov 2011, Samsung Advanced Institute of Technology (SAIT) (KRW 27,200,000)
  • Application of Concolic Testing to Flash Translation Layer, Sep 2009-Dec 2009, Samsung Advanced Institute of Technology (SAIT) (KRW 30,000,000)
Document Actions