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; Kim, Moonzooresearcher; Ko, Bongseok; Kwak, Taehoon; Lee, Byeongcheol; Jeon, Yiru; Kim, YunHoElsevier 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

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

5

A survey of race bug detection techniques for multithreaded programmes

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

6

Directed test suite augmentation: an empirical investigation

Kim, Moonzooresearcher; Cohen, Myra B.; Kim, Yun-Ho; Rothermel, Gregg; Xu, ZhihongWILEY-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, Moon-Zooresearcher; Kim, Young-Joo; Baik, Jong-Moonresearcher; Choi, Ok-Joo; 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, Yun-Ho; Kim, Moon-Zooresearcher; 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

Kim, Moonzooresearcher; Choi, YELSEVIER 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, Ho-Tae; Kim, Moon-Zooresearcher; Kim, Yun-HoIEEE 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

Hong S.; Kim, Moonzooresearcher; 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

Kim, Moonzooresearcher; Lee, JJ; Kim, B; Yu, SL; Seo, CW; Kang, KCSPRINGER-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