Researcher Page

사진
Kim, Moonzoo (김문주)
부교수, (전산학부)
Research Area
Software Engineering, Software testing and verification, Software degbugging
Co-researchers
    Similar researchers

    Keyword Cloud

    Reload 더보기
    NO Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
    1
    커맨드 라인 옵션을 변이 및 선택하여 테스팅 효과를 높이는 퍼징 기법

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

    2
    Directed Model Checking for Fast Abstract Reachability Analysis

    Lee, NakWon; Kim, Yunho; Kim, Moonzoo; et al, IEEE ACCESS, v.9, pp.158738 - 158750, 2021-11

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

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

    4
    MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry

    Kim, Yunho; Lee, Dongju; Baek, Junki; et al, INFORMATION AND SOFTWARE TECHNOLOGY, v.123, 2020-07

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

    박건우; 이주현; 송형곤; et al, 정보과학회논문지, v.46, no.9, pp.926 - 933, 2019-11

    6
    Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs

    Kim, Yunho; Mun, Seokhyun; Yoo, Shin; et al, ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, v.28, no.4, pp.1 - 34, 2019-10

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

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

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

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

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

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

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

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

    11
    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

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

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

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

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

    14
    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

    15
    A survey of race bug detection techniques for multithreaded programmes

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

    16
    Directed test suite augmentation: an empirical investigation

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

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

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

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

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

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

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

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

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

    Load more items
    Loading...

    rss_1.0 rss_2.0 atom_1.0