Researcher Page

사진

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

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

Keyword Cloud

Reload 더보기
1

MUSEUM: Debugging real-world multilingual programs using mutation analysis

Hong, Shin; Kwak, Taehoon; Lee, Byeongcheol; Jeon, Yiru; Ko, Bongseok; Kim, YunHo; Kim, MoonzooresearcherElsevier B.V.Information and Software Technology, v.82, pp.80 - 95, 2017-02

2

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

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

3

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

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

4

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

Hong, Shin; Staats, Matt; Ahn, Jaemin; Kim, Moonzooresearcher; Rothermel, GreggWILEY-BLACKWELLSOFTWARE TESTING VERIFICATION & RELIABILITY, v.25, no.4, pp.334 - 370, 2015-06

5

A survey of race bug detection techniques for multithreaded programmes

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

6

Directed test suite augmentation: an empirical investigation

Xu, Zhihong; Kim, Yun-Ho; Kim, Moonzooresearcher; Cohen, Myra B.; Rothermel, GreggWILEY-BLACKWELLSOFTWARE TESTING VERIFICATION & RELIABILITY, v.25, no.2, pp.77 - 114, 2015-03

7

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

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

8

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

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

9

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

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

10

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

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

11

Validating Software Reliability Early through Statistical Model Checking

Kim, Young-Joo; Choi, Ok-Joo; Kim, Moon-Zooresearcher; Baik, Jong-Moonresearcher; Kim, Tai-HyoIEEE COMPUTER SOCIEEE SOFTWARE, v.30, no.3, pp.35 - 41, 2013-05

12

Effective pattern-driven concurrency bug detection for operating systems

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

13

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

Kim, Moon-Zooresearcher; Kim, Yun-Ho; Choi, Yun-JaSPRINGERFORMAL ASPECTS OF COMPUTING, v.24, no.3, pp.355 - 374, 2012-05 View PDF (378kb)

14

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

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

15

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

Choi, Y; Kim, MoonzooresearcherELSEVIER SCIENCE BVINFORMATION AND SOFTWARE TECHNOLOGY, v.54, no.1, pp.119 - 136, 2012-01

16

A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study

Kim, Moon-Zooresearcher; Kim, Yun-Ho; Kim, Ho-TaeIEEE COMPUTER SOCIEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.37, no.2, pp.146 - 160, 2011 View PDF (605kb)

17

Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay

Kim, Moonzooresearcher; Hong S.; Hong C.; Kim T.Elsevier BVELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v.253, no.2, pp.21 - 36, 2009-10

18

모델기반의 커널 테스팅 프레임워크

김문주researcher; 홍신한국정보과학회정보과학회논문지 : 소프트웨어 및 응용, v.36, no.7, pp.523 - 530, 2009-07 View PDF (503kb)

19

Using formal modeling with an automated analysis tool to design and parametrically analyze a multirobot coordination protocol: A case study

Esposito, JM; Kim, MoonzooresearcherIEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INCIEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, v.37, pp.285 - 297, 2007-05 View PDF (539kb)

20

Re-engineering a credit card authorization system for maintainability and reusability of components - A case study

Kang, KC; Lee, JJ; Kim, B; Kim, Moonzooresearcher; Seo, CW; Yu, SLSPRINGER-VERLAG BERLINREUSE OF OFF-THE-SHELF COMPONENTS, PROCEEDINGS BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.4039, pp.156 - 169, 2006

Load more items
Loading...

rss_1.0 rss_2.0 atom_1.0