Browse "CS-Journal Papers(저널논문)" by Author 김윤호
Showing results 1 to 13 of 13
| C 프로그램의 동적 및 정적 분석을 통한 시스템 실행에서의 유닛 입력 값 자동 수집 및 재연 임현수; 김윤호; 김문주, 정보과학회논문지, v.45, no.10, pp.1035 - 1044, 2018-10 |
| Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교 김영주; 김문주; 김윤호; 정의준, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.18, no.4, pp.321 - 325, 2012-04 |
| Concolic 테스팅 도구 CROWN의 적용 가능성 및 사용성 개선 연구 김현우; 김윤호; 김문주, 정보과학회논문지, v.45, no.10, pp.1071 - 1079, 2018-10 |
| CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 Concolic 테스팅 기법 김윤호; 김문주; 장윤규, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.2, pp.90 - 98, 2013-02 |
| FEAST: 테스트 케이스의 결함 실행확률을 이용한 향상된 결함 위치추정 기법 문석현; 김윤호; 김문주, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.10, pp.620 - 632, 2013-10 |
| Mutagen4J: 효과적인 Java 프로그램 변이 생성 도구 전이루; 김윤호; 홍신; 김문주, 정보과학회논문지 : 소프트웨어 및 응용, v.43, no.9, pp.974 - 982, 2016-09 |
| 국방 무기 체계 SW 품질 향상을 위해 Concolic 테스팅을 통한 테스트 자동 생성 박건우; 이주현; 송형곤; 조규태; 김윤호; 김문주, 정보과학회논문지, v.46, no.9, pp.926 - 933, 2019-11 |
| 동적 함수 관련도를 이용한 퍼징 커버리지 향상 기법 이아청; 김윤호; 김문주, 정보과학회논문지, v.48, no.4, pp.391 - 397, 2021-04 |
| 사례연구를 통한 정적 프로그램 분석 기법을 사용하는 도구의 비교 김윤호; 박용배; 김문주, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.8, pp.424 - 428, 2013-08 |
| 안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법 김윤호; 김문주, 정보과학회논문지, v.44, no.2, pp.171 - 178, 2017-02 |
| 커맨드 라인 옵션을 변이 및 선택하여 테스팅 효과를 높이는 퍼징 기법 이아청; 김윤호; 김문주, 정보과학회논문지, v.49, no.11, pp.981 - 986, 2022-11 |
| 효과적인 내장형 소프트웨어의 정수 확장(Integer Promotion) 버그 검출 기법 김문주; 김윤호; 김태진; 이호정; 장훈; 박민규, 정보과학회논문지 : 소프트웨어 및 응용, v.43, no.6, pp.692 - 699, 2016-06 |
| 효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교: Proteum과 Milu를 사용한 사례 연구 김윤호; 김현우; 양웅규; 김문주, 정보과학회논문지, v.45, no.4, pp.342 - 347, 2018-04 |
Discover
Open Access
- 187 OA Article