Researcher Page

사진

Kim, Moonzoo (김문주) C-1661-2011

Department
School of Computing(전산학부)
Website
http://swtv.kaist.ac.kr/~moonzooHomePage
Research Area
Software Engineering, Software testing and verification, Software degbugging

Keyword Cloud

Reload 더보기
1

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

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

2

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

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

3

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

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

4

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

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

5

MUSEUM: Debugging real-world multilingual programs using mutation analysis

Hong, Shin; Kwak, Taehoon; Lee, Byeongcheol; et al, Information and Software Technology, v.82, pp.80 - 95, 2017-02

6

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

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

7

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

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

8

Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation

Hong, Shin; Staats, Matt; Ahn, Jaemin; et al, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.25, no.4, pp.334 - 370, 2015-06

9

A survey of race bug detection techniques for multithreaded programmes

Hong, Shin; Kim, Moonzooresearcher, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.25, no.3, pp.191 - 217, 2015-05

10

Directed test suite augmentation: an empirical investigation

Xu, Zhihong; Kim, Yun-Ho; Kim, Moonzooresearcher; et al, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.25, no.2, pp.77 - 114, 2015-03

11

내장형 시스템을 위한 아키텍처 모델링 언어 개발

김문주researcher; 문영주; 김태효, 정보과학회논문지 : 소프트웨어 및 응용, v.41, no.4, pp.257 - 264, 2014-04

12

크로스-브라우저 프로파일링을 통한 웹 어플리케이션 성능버그 탐지

김문주researcher; 박용배; 홍 신, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.11, pp.559 - 571, 2013-11

13

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

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

14

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

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

15

Validating Software Reliability Early through Statistical Model Checking

Kim, Young-Joo; Choi, Ok-Joo; Kim, Moon-Zooresearcher; et al, IEEE SOFTWARE, v.30, no.3, pp.35 - 41, 2013-05

16

Effective pattern-driven concurrency bug detection for operating systems

Hong, Shin; Kim, Moon-Zooresearcher, JOURNAL OF SYSTEMS AND SOFTWARE, v.86, no.2, pp.377 - 388, 2013-02

17

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

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

18

Concolic testing of the multi-sector read operation for flash storage platform software

Kim, Moon-Zooresearcher; Kim, Yun-Ho; Choi, Yun-Ja, FORMAL ASPECTS OF COMPUTING, v.24, no.3, pp.355 - 374, 2012-05

19

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

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

20

Controlled composition and abstraction for bottom-up integration and verification of abstract components

Choi, Y; Kim, Moonzooresearcher, INFORMATION AND SOFTWARE TECHNOLOGY, v.54, no.1, pp.119 - 136, 2012-01

Load more items
Loading...

rss_1.0 rss_2.0 atom_1.0