| 2017.10 |
KodKod를 이용한 기본 경로 테스팅을 위한 SAT 기반 방법 |
International Journal of Applied Engineering Research |
SCOPUS |
| 2015.09 |
Boolean Satisfiability 플이를 이용한 원인-결과 그래프로부터 페어와이즈 테스트 생성 |
IJSEIA |
SCOPUS |
| 2015.01 |
CEGPairGen: 인과 그래프에서 페어와이즈 테스트 생성을 위한 자동화 도구 |
International Journal of Software Engineering and Its Applications |
SCOPUS |
| 2014.09 |
원인-결과 그래프에서 페어와이즈 테스트 생성을 이진 만족 문제로 모델링 |
International Journal of Contents |
|
| 2014.07 |
caus-effect 그래프를 사용한 소프트웨어 테스팅 효과성 고찰 |
International Journal of Software Engineering and Its Applications |
SCOPUS |
| 2013.11 |
동적 테스트 데이터 생성을 위한 하이브리드 접근방식 |
한성대학교 공학연구 |
|
| 2013.07 |
A Dynamic Approach to Generating Tests for Effective Bug-Finding |
International Journal of Advancements in Computing Technology |
SCOPUS |
| 2013.07 |
동적 분기 커버리지를 위한 테스트 데이터 자동 생성 |
정보처리학회논문지 |
|
| 2012.11 |
C 프로그램을 테스팅하기 위한 분기 커버리지에 기반을 둔 자동 테스트 데이터 생성 |
한국콘텐츠학회논문지 |
|
| 2012.05 |
HanTestCC: C 프로그램의 자동 테스트 데이터 생성을 위한 프로그램 변환 및 탐침 도구 |
공학연구논문집 |
|