DSpace at KOASAS

Researcher Page

사진
Bae, Doo-Hwan (배두환)
교수, (전산학부)

http://se.kaist.ac.kr

Research Area
Software Engineering
Co-researchers
    Similar researchers

    Keyword Cloud

    Reload 더보기
    NO Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
    1
    Timed pattern-based analysis of collaboration failures in system-of-systems

    Hyun, Sangwon; Song, Jiyoung; Jee, Eunkyoung; et al, JOURNAL OF SYSTEMS AND SOFTWARE, v.198, 2023-04

    2
    MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software

    Liu, Lingjun; Jee, Eunkyoung; Bae, Doo-Hwanresearcher, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.32, no.8, 2022-12

    3
    Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing

    Song, Jiyoung; Kang, Jeehoonresearcher; Hyun, Sangwon; et al, INFORMATION AND SOFTWARE TECHNOLOGY, v.147, 2022-07

    4
    MuGenFBD: 기능 블록 다이어그램 프로그램에 대한 자동 뮤턴트 생성기

    Lingjun Liu; 지은경; 배두환researcher, 정보처리학회논문지. 소프트웨어 및 데이터 공학, v.10, no.4, pp.115 - 124, 2021

    5
    시스템 오브 시스템즈의 특성을 고려한 발현 위치 기반 불확실성 요소 분류

    신승철; 현상원; 신용준; et al, 정보과학회 컴퓨팅의 실제 논문지, v.26, no.10, pp.451 - 457, 2020-10

    6
    시스템 오브 시스템즈의 오류 위치 추정을 위한 통계적 검증 결과 활용 기법 분석

    현상원; 신용준; 배두환researcher, 정보과학회논문지, v.47, no.4, pp.380 - 386, 2020-04

    7
    Efficient noise injection for exposing hidden data races

    Yu, Misun; Ma, Yu-Seung; Bae, Doo-Hwanresearcher, JOURNAL OF SUPERCOMPUTING, v.76, no.1, pp.292 - 323, 2020-01

    8
    AdaptiveLock: Efficient Hybrid Data Race Detection Based on Real-World Locking Patterns

    Yu, Misun; Lee, Joon-Sang; Bae, Doo-Hwanresearcher, INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, v.47, no.5-6, pp.805 - 837, 2019-12

    9
    Empirical evaluation of mutation-based test case prioritization techniques

    Shin, Donghwan; Yoo, Shinresearcher; Papadakis, Mike; et al, Software Testing, Verification and Reliability, v.29, no.1-2, pp.e1695, 2019-03

    10
    FBD 프로그램에 대한 뮤테이션 연산자 확장 정의 및 적용

    지은경; 송지영; 배두환researcher, 정보과학회 컴퓨팅의 실제 논문지, v.24, no.11, pp.589 - 595, 2018-11

    11
    A Theoretical and Empirical Study of Diversity-aware Mutation Adequacy Criterion

    Shin, Donghwan; Yoo, Shinresearcher; Bae, Doo-Hwanresearcher, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.44, no.10, pp.914 - 931, 2018-10

    12
    시스템 오브 시스템즈 온톨로지 구축을 위한 사례 분석 기반의 메타모델 개발

    백영민; 박수민; 신용준; et al, 정보과학회논문지, v.45, no.10, pp.1056 - 1070, 2018-10

    13
    FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states

    Song, Jiyoung; Jee, Eunkyoung; Bae, Doo-Hwanresearcher, SCIENCE OF COMPUTER PROGRAMMING, v.163, pp.115 - 137, 2018-10

    14
    Search-Based Approaches for Software Module Clustering Based on Multiple Relationship Factors

    Hwa, Jimin; Yoo, Shinresearcher; Seo, Yeong-Seok; et al, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.27, no.7, pp.1033 - 1062, 2017-09

    15
    Hierarchical ordering with partial pairwise hierarchical relationships on the macaque brain data sets

    Lim, Woosang; Lee, Jungsoo; Lim, Yongsub; et al, PLoS ONE, v.12, no.5, pp.1 - 15, 2017-05

    16
    A User eXperience Evaluation Framework for Mobile Usability

    Lee, Hee Jin; Lee, Joon-Sang; Jee, Eunkyoung; et al, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.27, no.2, pp.235 - 279, 2017-03

    17
    A User eXperience Evaluation Framework for Mobile Usability

    Lee, Hee Jin; Lee, Joon-Sang; Jee, Eunkyoung; et al, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.27, no.2, pp.235 - 279, 2017-03

    18
    Experimental Performance Comparison of Dynamic Data Race Detection Techniques

    Yu, Misun; Park, Seung-Min; Chun, Ingeol; et al, ETRI JOURNAL, v.39, no.1, pp.124 - 134, 2017-02

    19
    An empirical study of supplementary patches in open source projects

    Park, Jihun; Kim, Miryung; Bae, Doo-Hwanresearcher, EMPIRICAL SOFTWARE ENGINEERING, v.22, no.1, pp.436 - 473, 2017-02

    20
    시스템 오브 시스템즈 수준의 목표 달성 검증을 위한 행동-이익-비용 모델과 통계적 모델 체킹 적용 연구

    김준호; 신동환; 배두환researcher, 정보과학회 컴퓨팅의 실제 논문지, v.23, no.4, pp.256 - 261, 2017
    Load more items
    Loading...

    rss_1.0 rss_2.0 atom_1.0