과제명: 에너지 효율화를 위한 사물인터넷 플랫폼 개발 및 창의적 인재양성
총 연구기간: 2014-06-01 ~ 2019-12-31
지원기관: 정보통신기술진흥센터
과제명: 임베디드 소프트웨어 신뢰성 확보를 위한 동적 테스트 요소기술 연구
총 연구기간: 2019-05-01 ~ 2019-10-31
지원기관: 국가보안기술연구소
과제명: 자율주행 차량의 예상치 못한 기능 상호작용을 고려한 안전성 테스트 기술
총 연구기간: 2016-11-01 ~ 2019-10-31
지원기관: 한국연구재단
과제명: 개방형 구조 공통컴포넌트 및 통합 통제 프레임워크 연구
총 연구기간: 2017-05-01 ~ 2019-10-31
지원기관: 국방과학연구소
과제명: 소프트웨어 안전성 보증을 위한 정확성 확보 체계 개발
총 연구기간: 2015-06-01 ~ 2018-12-31
지원기관: 정보통신기술진흥센터
과제명: 설계의사결정표 기반 테스트케이스 자동화 개발
총 연구기간: 2016-12-27 ~ 2017-09-26
지원기관: 한국항공우주산업주식회사
과제명: 실시간 임베디드 소프트웨어의 품질 향상을 위한 행위 모델 기반의 기능성/강건성 테스트 자동화 기술 연구
총 연구기간: 2012-05-01 ~ 2015-04-30
지원기관: 한국연구재단
과제명: 모델 기반 테스팅을 이용한 테스트 케이스 생성 기술
총 연구기간: 2014-03-01 ~ 2014-10-31
지원기관: 현대자동차
과제명: 모델기반 기술을 이용한 항만 터미널 시뮬레이터의 개선
총 연구기간: 2013-09-01 ~ 2014-08-31
지원기관: 정보통신산업진흥원
과제명: 교통정보 플랫폼 구축 기본설계 및 아키텍쳐 구상 연구
총 연구기간: 2012-10-01 ~ 2013-11-30
지원기관: 한국도로공사
과제명: Smart TV UI의 모델기반 테스트 방법론 개발
총 연구기간: 2013-04-15 ~ 2013-11-14
지원기관: LG전자(주)
과제명: 스마트폰 앱의 호환성 평가와 진단을 위한 테스팅 기술 연구
총 연구기간: 2010-09-01 ~ 2013-08-31
지원기관: 한국연구재단
과제명: 다중 플랫폼 기반 지식 융합 빅 데이터 서비스 기술 연구
총 연구기간: 2012-06-01 ~ 2013-06-30
지원기관: 정보통신산업진흥원
과제명: 안드로이드 앱의 GUI 테스트 자동화 도구
총 연구기간: 2012-04-16 ~ 2012-11-30
지원기관: 정보통신산업진흥원
과제명: 차세대물류IT기술연구사업단 1총괄 3세부(스마트 안전물류를 위한 RFID 미들웨어 시스템 관리 기술)
총 연구기간: 2004-10-01 ~ 2012-02-29
지원기관: 한국연구재단
과제명: 고 신뢰도 내장형 실시간 소프트웨어 개발기술
총 연구기간: 2006-01-01 ~ 2011-12-31
지원기관: 국방과학연구소
과제명: 컴포넌트 기반 소프트웨어의 품질 향상을 위한 컴포넌트 테스트의 자동화 연구
총 연구기간: 2010-01-01 ~ 2010-12-31
지원기관: 한국학술진흥재단
과제명: 소프트웨어 프로세스 개선을 위한 공학 기술의 개발
총 연구기간: 2005-01-01 ~ 2010-12-31
지원기관: 정보통신연구진흥원
과제명: 정형 명세 기반 소프트웨어 검증 조건 및 테스트 데이터 생성 기술 연구
총 연구기간: 2009-07-16 ~ 2010-01-31
지원기관: 한국전자통신연구원
과제명: 선행/후행 조건을 이용한 클래스의 동적 모델 자동 생성 기법
총 연구기간: 2007-08-01 ~ 2008-07-31
지원기관: 한국학술진흥재단
과제명: 디바이스 드라이버 명세 번역 및 추출이 가능한 정형 명세화 기법 연구
총 연구기간: 2006-07-01 ~ 2007-01-31
지원기관: 한국전자통신연구원