Showing results 28 to 33 of 33
모델체킹 도구를 사용한 플래시 메모리 디바이스 드라이버 검증 김문주; 김윤호; 김호태, 한국 소프트웨어공학 학술대회, pp.19 - 23, 2008-02-20 |
변형 프로그램의 동적 정보에 기반한 자동 결함 위치추정 문석현; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2014-02-13 |
심볼릭 라이브러리를 이용한 효과적인 Concolic 테스팅 박용배; 김윤호; 조준희; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2014-02-13 |
자바스크립트 기반 실제 웹 어플리케이션의 오류 조사 안재민; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2013-01-31 |
정적 프로그램 분석 기법을 사용하는 도구의 비교: Coverity와 Sparrow를 사용한 libexif 사례 연구 박용배; 김윤호; 김문주, Korea Computer Congress (KCC), 한국정보과학회, 2012-11-24 |
테스트 케이스의 결함 실행확률을 이용한 향상된 결함 위치추정(fault localization) 기법 문석현; 김윤호; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2013-01-31 |
Discover