Browse "CS-Journal Papers(저널논문)" by Author 김윤호

Showing results 1 to 13 of 13

1
C 프로그램의 동적 및 정적 분석을 통한 시스템 실행에서의 유닛 입력 값 자동 수집 및 재연

임현수; 김윤호; 김문주, 정보과학회논문지, v.45, no.10, pp.1035 - 1044, 2018-10

2
Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교

김영주; 김문주; 김윤호; 정의준, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.18, no.4, pp.321 - 325, 2012-04

3
Concolic 테스팅 도구 CROWN의 적용 가능성 및 사용성 개선 연구

김현우; 김윤호; 김문주, 정보과학회논문지, v.45, no.10, pp.1071 - 1079, 2018-10

4
CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 Concolic 테스팅 기법

김윤호; 김문주; 장윤규, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.2, pp.90 - 98, 2013-02

5
FEAST: 테스트 케이스의 결함 실행확률을 이용한 향상된 결함 위치추정 기법

문석현; 김윤호; 김문주, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.10, pp.620 - 632, 2013-10

6
Mutagen4J: 효과적인 Java 프로그램 변이 생성 도구

전이루; 김윤호; 홍신; 김문주, 정보과학회논문지 : 소프트웨어 및 응용, v.43, no.9, pp.974 - 982, 2016-09

7
국방 무기 체계 SW 품질 향상을 위해 Concolic 테스팅을 통한 테스트 자동 생성

박건우; 이주현; 송형곤; 조규태; 김윤호; 김문주, 정보과학회논문지, v.46, no.9, pp.926 - 933, 2019-11

8
동적 함수 관련도를 이용한 퍼징 커버리지 향상 기법

이아청; 김윤호; 김문주, 정보과학회논문지, v.48, no.4, pp.391 - 397, 2021-04

9
사례연구를 통한 정적 프로그램 분석 기법을 사용하는 도구의 비교

김윤호; 박용배; 김문주, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.8, pp.424 - 428, 2013-08

10
안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법

김윤호; 김문주, 정보과학회논문지, v.44, no.2, pp.171 - 178, 2017-02

11
커맨드 라인 옵션을 변이 및 선택하여 테스팅 효과를 높이는 퍼징 기법

이아청; 김윤호; 김문주, 정보과학회논문지, v.49, no.11, pp.981 - 986, 2022-11

12
효과적인 내장형 소프트웨어의 정수 확장(Integer Promotion) 버그 검출 기법

김문주; 김윤호; 김태진; 이호정; 장훈; 박민규, 정보과학회논문지 : 소프트웨어 및 응용, v.43, no.6, pp.692 - 699, 2016-06

13
효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교: Proteum과 Milu를 사용한 사례 연구

김윤호; 김현우; 양웅규; 김문주, 정보과학회논문지, v.45, no.4, pp.342 - 347, 2018-04

Discover

Type

Open Access

Date issued

. next

rss_1.0 rss_2.0 atom_1.0