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
    Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study

    Song, Jiyoung; Bae, Doo-Hwan, JOURNAL OF SYSTEMS AND SOFTWARE, v.206, 2023-12

    2
    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

    3
    PLC 프로그램 테스트 자동화를 위한 테스트 시퀀스의 체계적 실행 제어 및 시뮬레이터 기반 출력 방법

    은형석; Lingjun Liu; 지은경; et al, 정보과학회 컴퓨팅의 실제 논문지, v.29, no.3, pp.114 - 120, 2023-03

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

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

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

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

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

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

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

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

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

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

    9
    Efficient noise injection for exposing hidden data races

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

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

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

    11
    Empirical evaluation of mutation-based test case prioritization techniques

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

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

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

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

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

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

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

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

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

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

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

    17
    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

    18
    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

    19
    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

    20
    An empirical study of supplementary patches in open source projects

    Park, Jihun; Kim, Miryung; Bae, Doo-Hwan, EMPIRICAL SOFTWARE ENGINEERING, v.22, no.1, pp.436 - 473, 2017-02
    Load more items
    Loading...

    rss_1.0 rss_2.0 atom_1.0