Browse "School of Computing(전산학부)" by Author 김윤호
Showing results 1 to 39 of 39
| A Case Study of the Application of Dynamic Symbolic Execution to Real-World Binary Programs Hoang, Duc Bui; 김윤호; 김문주, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2012-02-09 |
| AtomicitySanitizer: C 멀티쓰레드 프로그램에 대한 실행연속성 위반 결함 검출 도구 홍신; 김문주; 김윤호; 윤석영; 정한웅; 박사천, 2018 한국소프트웨어종합학술대회, 한국정보과학회, 2018-12-20 |
| Automated unit test generation with realistic unit context synthesis for low false alarms = 실제적인 유닛 컨텍스트 합성으로 거짓 경보를 줄인 자동화된 유닛 테스트 생성link Kim, Yunho; 김윤호; et al, 한국과학기술원, 2017 |
| Bitfield 심볼릭 지원을 통한 Concolic 테스팅 효과 향상 이아청; 김문주; 김현우; 김윤호, 2018 한국컴퓨터종합학술대회, 한국정보과학회, 2018-06-21 |
| C 프로그램의 동적 및 정적 분석을 통한 시스템 실행에서의 유닛 입력 값 자동 수집 및 재연 임현수; 김윤호; 김문주, 정보과학회논문지, v.45, no.10, pp.1035 - 1044, 2018-10 |
| COMUT: 사용자의 의도대로 효과적인 변이를 생성할 수 있는 C 프로그램 변이 도구 Phan Duy Loc; 김문주; 고봉석; 김윤호, 2017 한국소프트웨어종합학술대회, 한국정보과학회, 2017-12-21 |
| Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교 김영주; 김문주; 김윤호; 정의준, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.18, no.4, pp.321 - 325, 2012-04 |
| Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구 김영주; 김윤호; 김문주, 한국정보처리학회 추계학술대회, 한국정보처리학회, 2011-10-26 |
| Concolic 테스팅 도구 CREST 의 사용자 친화성 향상 연구: Windows OS 로의 포팅과 개선된 CREST UI 을 통한 CREST 활용 및 분기 커버리지 분석 작업의 효율 증가 김현우; 김문주; 김윤호, 2018 한국 소프트웨어공학 학술대회, 한국정보과학회, 2018-01-30 |
| Concolic 테스팅 도구 CROWN의 적용 가능성 및 사용성 개선 연구 김현우; 김윤호; 김문주, 정보과학회논문지, v.45, no.10, pp.1071 - 1079, 2018-10 |
| CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 Concolic 테스팅 기법 김윤호; 김문주; 장윤규, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.2, pp.90 - 98, 2013-02 |
| CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 Concolic 테스팅 기법 김윤호; 김문주; 장윤규, Korea Computer Congress (KCC), 한국정보과학회, 2012-06-28 |
| FEAST: 테스트 케이스의 결함 실행확률을 이용한 향상된 결함 위치추정 기법 문석현; 김윤호; 김문주, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.10, pp.620 - 632, 2013-10 |
| Mutagen4J: 효과적인 Java 프로그램 변이 생성 도구 전이루; 김윤호; 홍신; 김문주, 정보과학회논문지 : 소프트웨어 및 응용, v.43, no.9, pp.974 - 982, 2016-09 |
| 국방 무기 체계 SW 품질 향상을 위한 Concolic 테스팅 기술 박건우; 김문주; 이주현; 송형곤; 조규태; 김윤호, 2018 한국소프트웨어종합학술대회, 한국정보과학회, 2018-12-20 |
| 국방 무기 체계 SW 품질 향상을 위해 Concolic 테스팅을 통한 테스트 자동 생성 박건우; 이주현; 송형곤; 조규태; 김윤호; 김문주, 정보과학회논문지, v.46, no.9, pp.926 - 933, 2019-11 |
| 대상 프로그램에 포함된 대상 함수를 테스트하는 방법 및 장치 김문주; 최윤자; 김윤호 |
| 동적 심볼릭 수행과 유전 알고리즘을 사용한 테스트 생성 기법 비교 김윤호; 김문주, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2011-02-09 |
| 동적 심볼릭 수행을 응용한 테스트 케이스 자동 생성 도구 비교 김윤호; 김문주, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2010-02-08 |
| 동적 함수 관련도를 이용한 퍼징 커버리지 향상 기법 이아청; 김윤호; 김문주, 정보과학회논문지, v.48, no.4, pp.391 - 397, 2021-04 |
| 모델체킹 도구를 사용한 플래시 메모리 디바이스 드라이버 검증 김문주; 김윤호; 김호태, 한국 소프트웨어공학 학술대회, pp.19 - 23, 2008-02-20 |
| 변이 프로그램을 사용하여 대상 프로그램을 테스트하는 방법 및 장치 김문주; 김윤호; 홍신 |
| 블록 부호화를 통한 지연 술어 추상화 모델 체킹을 빠르게 하기 위한 에러 위치 지향 순회 전략 이낙원; 김윤호; 류덕산; 김문주; 백종문, 2019 한국소프트웨어종합학술대회 (KSC2019), pp.269 - 271, 한국정보과학회, 2019-12-20 |
| 사례연구를 통한 정적 프로그램 분석 기법을 사용하는 도구의 비교 김윤호; 박용배; 김문주, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.8, pp.424 - 428, 2013-08 |
| 설정 변경이 자유롭고 확장성이 좋게 변이 프로그램을 생성하는 방법 및 장치 김문주; Loc Phan Duy; 김윤호 |
| 소프트웨어 유닛에 대한 확장형 분산 테스트 방법 김문주; 김윤호, 2013-01-22 |
| 시스템 테스트 케이스를 이용한 C 프로그램의 동적 유닛 입력 값 자동 수집 및 재연 기술 임현수; 김문주; 김윤호, 2017 한국소프트웨어종합학술대회, 한국정보과학회, 2017-12-21 |
| 심볼릭 라이브러리를 이용한 효과적인 Concolic 테스팅 박용배; 김윤호; 조준희; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2014-02-13 |
| 안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법 김윤호; 김문주, 정보과학회논문지, v.44, no.2, pp.171 - 178, 2017-02 |
| 안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법 김윤호; 김문주, 2016 한국컴퓨터종합학술대회, 한국정보과학회, 2016-06-30 |
| 유용한 커맨드 라인 옵션을 선택하여 커버리지와 오류 탐지 능력을 높이는 퍼징 기법 이아청; 김문주; 김윤호, 2021 한국소프트웨어종합학술대회(KSC), 한국정보과학회, 2021-12-21 |
| 입력 커버리지를 활용한 효율적인 동적 기호 실행 탐색 기법 김윤호; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2016-01-28 |
| 정적 프로그램 분석 기법을 사용하는 도구의 비교: Coverity와 Sparrow를 사용한 libexif 사례 연구 박용배; 김윤호; 김문주, Korea Computer Congress (KCC), 한국정보과학회, 2012-11-24 |
| 커맨드 라인 옵션을 변이 및 선택하여 테스팅 효과를 높이는 퍼징 기법 이아청; 김윤호; 김문주, 정보과학회논문지, v.49, no.11, pp.981 - 986, 2022-11 |
| 테스트 케이스의 결함 실행확률을 이용한 향상된 결함 위치추정(fault localization) 기법 문석현; 김윤호; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2013-01-31 |
| 함수 관련도를 이용한 퍼징의 커버리지 향상 이아청; 김문주; 김윤호, 2019 한국소프트웨어종합학술대회, 한국정보과학회, 2019-12-19 |
| 효과적인 내장형 소프트웨어의 정수 확장(Integer Promotion) 버그 검출 기법 김문주; 김윤호; 김태진; 이호정; 장훈; 박민규, 정보과학회논문지 : 소프트웨어 및 응용, v.43, no.6, pp.692 - 699, 2016-06 |
| 효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교: Proteum과 Milu를 사용한 사례 연구 김윤호; 김현우; 양웅규; 김문주, 한국정보과학회 2016년 동계학술대회, 한국정보과학회, 2016-12-22 |
| 효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교: Proteum과 Milu를 사용한 사례 연구 김윤호; 김현우; 양웅규; 김문주, 정보과학회논문지, v.45, no.4, pp.342 - 347, 2018-04 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,746 2020 - 2024
- 5,391 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989