Doo-Hwan Bae

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 65

Top Venues

Publications

Rodrigo Pereira dos Santos, Pablo Oliveira Antonino, Antonia Bertolino, Doo-Hwan Bae
Report on the 11th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems - SESoS@ICSE 2023. ACM SIGSOFT Softw. Eng. Notes 49 (1) (2024)
Yong-Jun Shin, Donghwan Shin, Doo-Hwan Bae
Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning. ACM Trans. Embed. Comput. Syst. 23 (1) (2024)
Jiyoung Song, Doo-Hwan Bae
Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study. J. Syst. Softw. 206 (2023)
Coralie Esnoul, Ricardo Colomo Palacios, Eunkyoung Jee, Sabarathinam Chockalingam, John Eidar Simensen, Doo-Hwan Bae
Report on the 3rd International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2022). ACM SIGSOFT Softw. Eng. Notes 48 (1) (2023)
Coralie Esnoul, Mary Sánchez-Gordón, Eunkyoung Jee, Ricardo Colomo Palacios, Sabarathinam Chockalingam, John Eidar Simensen, Doo-Hwan Bae
Report on the 4th International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2023). ACM SIGSOFT Softw. Eng. Notes 48 (4) (2023)
Sangwon Hyun, Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae
Timed pattern-based analysis of collaboration failures in system-of-systems. J. Syst. Softw. 198 (2023)
Zelalem Mihret, Eunkyoung Jee, Doo-Hwan Bae
Simulation-based Recommendation Generation for Heterogeneous Systems Participating in a Collaborative Work. SoSE (2022)
Esther Cho, Yong-Jun Shin, Sangwon Hyun, Hansu Kim, Doo-Hwan Bae
Automatic Generation of Metamorphic Relations for a Cyber-Physical System-of-Systems Using Genetic Algorithm. APSEC (2022)
Jiyoung Song, Youlim Jung, Chiwoo Cho, Eunkyoung Jee, Doo-Hwan Bae
Statistical verification using learned usages for evaluating energy-efficient mobile device design. SAC (2022)
Jiyoung Song, Jeehoon Kang, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae
Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing. Inf. Softw. Technol. 147 (2022)
Lingjun Liu, Eunkyoung Jee, Doo-Hwan Bae
MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software. Softw. Test. Verification Reliab. 32 (8) (2022)
Eunho Cho, Gwangoo Yeo, Eunkyoung Jee, Doo-Hwan Bae
Anomaly-Aware Adaptation Approach for Self-Adaptive Cyber-Physical System of Systems Using Reinforcement Learning. SoSE (2022)
May Myat Thwe, Zelalem Mihret, Eunkyoung Jee, Doo-Hwan Bae
Cybersecurity Vulnerability Identification in System-of-Systems using Model-based Testing. SoSE (2022)
Yong-Jun Shin, Donghwan Shin, Doo-Hwan Bae
Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification. CoRR (2022)
Young Min Baek, Esther Cho, Donghwan Shin, Doo-Hwan Bae
Literature Review to Collect Conceptual Variables of Scenario Methods for Establishing a Conceptual Scenario Framework. CoRR (2022)
Yong-Jun Shin, Esther Cho, Hansu Kim, Doo-Hwan Bae
Hands-On Field Operational Test Dataset of a Multi-Controller CPS: A Modeled Case Study on Autonomous Driving. SoSE (2022)
Sangwon Hyun, Lingjun Liu, Hansu Kim, Esther Cho, Doo-Hwan Bae
An Empirical Study of Reliability Analysis for Platooning System-of-Systems. QRS Companion (2021)
Yong-Jun Shin, Eunho Cho, Doo-Hwan Bae
PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems. FASE (2021)
Sungjin Lee, Young Min Baek, Sangwon Hyun, Doo-Hwan Bae
Generation of Adaptation Strategies for Dynamic Reconfiguration of a System of Systems. SOSE (2021)
Seungchyul Shin, Sangwon Hyun, Yong-Jun Shin, Jiyoung Song, Doo-Hwan Bae
Uncertainty based Fault Type Identification for Fault Knowledge Base Generation in System of Systems. SOSE (2021)
Young Min Baek, Eunho Cho, Yong-Jun Shin, Doo-Hwan Bae
A Modeling Method for Representation of Geographical Information of a System-of-Systems. SOSE (2021)
Yong-Jun Shin, Lingjun Liu, Sangwon Hyun, Doo-Hwan Bae
Platooning LEGOs: An Open Physical Exemplar for Engineering Self-Adaptive Cyber-Physical Systems-of-Systems. SEAMS@ICSE (2021)
Eunho Cho, Juyeon Yoon, Daehyeon Baek, Dongman Lee, Doo-Hwan Bae
DNN Model Deployment on Distributed Edges. ICWE Workshops (2021)
Yong-Jun Shin, Joon-Young Bae, Doo-Hwan Bae
Concepts and Models of Environment of Self-Adaptive Systems: A Systematic Literature Review. APSEC (2021)
Kiat Kian Anthony Chua, Doo-Hwan Bae, Eunkyoung Jee
Metamorphic Testing for Reliability in System of Systems. APSEC (2021)
Misun Yu, Yu-Seung Ma, Doo-Hwan Bae
Efficient noise injection for exposing hidden data races. J. Supercomput. 76 (1) (2020)
Sumin Park, Yong-Jun Shin, Sangwon Hyun, Doo-Hwan Bae
SIMVA-SoS: Simulation-based Verification and Analysis for System-of-Systems. SoSE (2020)
Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Young Min Baek, Doo-Hwan Bae
Pattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning. APSEC (2020)
Misun Yu, Yu-Seung Ma, Doo-Hwan Bae
Correction to: Efficient noise injection for exposing hidden data races. J. Supercomput. 76 (4) (2020)
Young Min Baek, Zelalem Mihret, Yong-Jun Shin, Doo-Hwan Bae
A Modeling Method for Model-based Analysis and Design of a System-of-Systems. APSEC (2020)
Jiyoung Song, Jacob O. Tørring, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae
Slicing executable system-of-systems models for efficient statistical verification. SESoS-WDES@ICSE (2019)
Yong-Jun Shin, Young Min Baek, Eunkyoung Jee, Doo-Hwan Bae
Data-driven environment modeling for adaptive system-of-systems. SAC (2019)
Sumin Park, Zelalem Mihret, Doo-Hwan Bae
A simulation-based behavior analysis for MCI response system of systems. SESoS-WDES@ICSE (2019)
Donghwan Shin, Shin Yoo, Mike Papadakis, Doo-Hwan Bae
Empirical evaluation of mutation-based test case prioritization techniques. Softw. Test. Verification Reliab. 29 (1-2) (2019)
Yong-Jun Shin, Sangwon Hyun, Young Min Baek, Doo-Hwan Bae
Spectrum-Based Fault Localization on a Collaboration Graph of a System-of-Systems. SoSE (2019)
Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Doo-Hwan Bae
Statistical Verification Framework for Platooning System of Systems with Uncertainty. APSEC (2019)
Misun Yu, Joon-Sang Lee, Doo-Hwan Bae
AdaptiveLock: Efficient Hybrid Data Race Detection Based on Real-World Locking Patterns. Int. J. Parallel Program. 47 (5-6) (2019)
Donghwan Shin, Shin Yoo, Doo-Hwan Bae
A Theoretical and Empirical Study of Diversity-Aware Mutation Adequacy Criterion. IEEE Trans. Software Eng. 44 (10) (2018)
Mike Papadakis, Donghwan Shin, Shin Yoo, Doo-Hwan Bae
Are mutation scores correlated with real fault detection?: a large scale empirical study on the relationship between mutants and real faults. ICSE (2018)
Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states. Sci. Comput. Program. 163 (2018)
Mingyu Jin, Donghwan Shin, Doo-Hwan Bae
: extended action-benefit-cost modeling with knowledge-based decision-making and interaction model for system of systems simulation. SAC (2018)
Zelalem Mihret, Eunkyoung Jee, Young Min Baek, Doo-Hwan Bae
A collaboration policy model for system of systems. SoSE (2018)
Young Min Baek, Jiyoung Song, Yong-Jun Shin, Sumin Park, Doo-Hwan Bae
A Meta-Model for Representing System-of-Systems Ontologies. SESoS@ICSE (2018)
Jiyoung Song, Young Min Baek, Mingyu Jin, Eunkyoung Jee, Doo-Hwan Bae
SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS. APSEC (2017)
Jihun Park, Miryung Kim, Doo-Hwan Bae
An empirical study of supplementary patches in open source projects. Empir. Softw. Eng. 22 (1) (2017)
Hee-Jin Lee, Joon-Sang Lee, Eunkyoung Jee, Doo-Hwan Bae
A User eXperience Evaluation Framework for Mobile Usability. Int. J. Softw. Eng. Knowl. Eng. 27 (2) (2017)
Jimin Hwa, Shin Yoo, Yeong-Seok Seo, Doo-Hwan Bae
Search-Based Approaches for Software Module Clustering Based on Multiple Relationship Factors. Int. J. Softw. Eng. Knowl. Eng. 27 (7) (2017)
Wonkyung Yun, Donghwan Shin, Doo-Hwan Bae
Mutation Analysis for System of Systems Policy Testing. JSOS@ICSE (2017)
Donghwan Shin, Shin Yoo, Mike Papadakis, Doo-Hwan Bae
Empirical Evaluation of Mutation-based Test Prioritization Techniques. CoRR (2017)
Donghwan Shin, Shin Yoo, Doo-Hwan Bae
Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability. ICST Workshops (2016)
Dongwon Seo, Donghwan Shin, Young Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae
Modeling and verification for different types of system of systems using PRISM. SESoS@ICSE (2016)
Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
Comprehensive analysis of FBD test coverage criteria using mutants. Softw. Syst. Model. 15 (3) (2016)
Donghwan Shin, Doo-Hwan Bae
A Theoretical Framework for Understanding Mutation-Based Testing Methods. ICST (2016)
Misun Yu, Doo-Hwan Bae
: Fast and Accurate Hybrid Data Race Detection. Comput. J. 59 (6) (2016)
Young Min Baek, Doo-Hwan Bae
Automated model-based Android GUI testing using multi-level GUI comparison criteria. ASE (2016)
Yoo Jin Lim, Gwangui Hong, Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
A runtime verification framework for dynamically adaptive multi-agent systems. BigComp (2016)
Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae
Automated Test Sequence Generation for Function Block Diagram Programs. APSEC (2016)
Donghwan Shin, Doo-Hwan Bae
A Theoretical Framework for Understanding Mutation-Based Testing Methods. CoRR (2016)
Misun Yu, Yu-Seung Ma, Doo-Hwan Bae
Characterizing non-deadlock concurrency bug fixes in open-source Java programs. SAC (2016)
Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae
Timing consistency checking for UML/MARTE behavioral models. Softw. Qual. J. 24 (3) (2016)
Dongwon Seo, Donghwan Shin, Doo-Hwan Bae
Quality Based Software Project Staffing and Scheduling with Cost Bound. APSEC (2015)
Ah-Rim Han, Doo-Hwan Bae, Sung Deok Cha
An efficient approach to identify multiple and independent Move Method refactoring candidates. Inf. Softw. Technol. 59 (2015)
Jihun Park, Dongwon Seo, Gwangui Hong, Donghwan Shin, Jimin Hwa, Doo-Hwan Bae
Human Resource Allocation in Software Project with Practical Considerations. Int. J. Softw. Eng. Knowl. Eng. 25 (1) (2015)
Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae
Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems. COMPSAC (2015)
Dongwon Seo, Donghwan Shin, Doo-Hwan Bae
Quality Based Software Project Staffing and Scheduling with Budget and Deadline. QuASoQ/WAWSE/CMCE@APSEC (2015)
Ah-Rim Han, Doo-Hwan Bae
An Efficient Method for Assessing the Impact of Refactoring Candidates on Maintainability Based on Matrix Computation. APSEC (1) (2014)
Jihun Park, Dongwon Seo, Gwangui Hong, Donghwan Shin, Jimin Hwa, Doo-Hwan Bae
Practical Human Resource Allocation in Software Projects Using Genetic Algorithm. SEKE (2014)
Minh Chau Nguyen, Eunkyoung Jee, Jinho Choi, Doo-Hwan Bae
Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software. SAC (2014)
Gigon Bae, Gregg Rothermel, Doo-Hwan Bae
Comparing model-based and dynamic event-extraction based GUI testing techniques: An empirical study. J. Syst. Softw. 97 (2014)
Jihun Park, Miryung Kim, Doo-Hwan Bae
An empirical study on reducing omission errors in practice. ASE (2014)
Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae
Automated test case generation for FBD programs implementing reactor protection system software. Softw. Test. Verification Reliab. 24 (8) (2014)
Seunghun Park, Doo-Hwan Bae
Tailoring a large-sized software process using process slicing and case-based reasoning technique. IET Softw. 7 (1) (2013)
Yeong-Seok Seo, Doo-Hwan Bae, Ross Jeffery
AREION: Software effort estimation based on multiple regressions with adaptive recursive data partitioning. Inf. Softw. Technol. 55 (10) (2013)
Jeongseok Seo, Sung Deok Cha, Bin Zhu, Doo-Hwan Bae
PC Worm Detection System Based on the Correlation between User Interactions and Comprehensive Network Behaviors. IEICE Trans. Inf. Syst. (8) (2013)
Misun Yu, Sang-Kyung Yoo, Doo-Hwan Bae
SimpleLock: Fast and Accurate Hybrid Data Race Detector. PDCAT (2013)
Yeong-Seok Seo, Doo-Hwan Bae
On the value of outlier elimination on software effort estimation research. Empir. Softw. Eng. 18 (4) (2013)
Su Yong Kim, Sung Deok Cha, Doo-Hwan Bae
Automatic and lightweight grammar generation for fuzz testing. Comput. Secur. 36 (2013)
Ah-Rim Han, Doo-Hwan Bae
Dynamic profiling-based approach to identifying cost-effective refactorings. Inf. Softw. Technol. 55 (6) (2013)
Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae
Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software. SERE (2012)
Woomok Kim, Tae-hyung Kim, Sangtae Kim, Doo-Hwan Bae
Rebuilding a Unified Database Service via Context Analysis Method. CSMR (2012)
Gigon Bae, Gregg Rothermel, Doo-Hwan Bae
On the Relative Strengths of Model-Based and Dynamic Event Extraction-Based GUI Testing Techniques: An Empirical Study. ISSRE (2012)
Jinho Choi, Doo-Hwan Bae
An Approach to Constructing Timing Diagrams from UML/MARTE Behavioral Models for Guidance and Control Unit Software. FGIT-EL/DTA/UNESST (2012)
Jihun Park, Miryung Kim, Baishakhi Ray, Doo-Hwan Bae
An empirical study of supplementary bug fixes. MSR (2012)
Myongho Kim, Joohyun Lee, Doo-Hwan Bae
Generic Process Framework for Safety-Critical Software in a Weapon System. FGIT-EL/DTA/UNESST (2012)
Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis. MoDELS (2012)
Sukhee Lee, Gigon Bae, Heung Seok Chae, Doo-Hwan Bae, Yong Rae Kwon
Automated scheduling for clone-based refactoring using a competent GA. Softw. Pract. Exp. 41 (5) (2011)
Dongwon Kang, Jinhwan Jung, Doo-Hwan Bae
Constraint-based human resource allocation in software projects. Softw. Pract. Exp. 41 (5) (2011)
DongSeok Cho, Doo-Hwan Bae
Case Study on Installing a Porting Process for Embedded Operating System in a Small Team. SSIRI (Companion) (2011)
In-Gwon Song, Sang-Uk Jeon, Ah-Rim Han, Doo-Hwan Bae
An approach to identifying causes of implied scenarios using unenforceable orders. Inf. Softw. Technol. 53 (6) (2011)
HyeonJeong Kim, Doo-Hwan Bae, Vidroha Debroy, W. Eric Wong
Deriving Data Dependence from/for UML State Machine Diagrams. SSIRI (2011)
Seunghun Park, Doo-Hwan Bae
An approach to analyzing the software process change impact using process slicing and simulation. J. Syst. Softw. 84 (4) (2011)
Seunghun Park, Sang-Yoon Min, Doo-Hwan Bae
Process Instance Management Facilities Based on the Meta Process Models. ICCSA (5) (2011)
HyeonJeong Kim, Vidroha Debroy, Doo-Hwan Bae
Identifying properties of UML state machine diagrams that affect data and control dependence. SAC (2011)
Wei-Jin Park, Doo-Hwan Bae
A two-stage framework for UML specification matching. Inf. Softw. Technol. 53 (3) (2011)
Kyung-A Yoon, Doo-Hwan Bae
A pattern-based outlier detection method identifying abnormal attributes in software project data. Inf. Softw. Technol. 52 (2) (2010)
Tuan Khanh Le-Do, Kyung-A Yoon, Yeong-Seok Seo, Doo-Hwan Bae
Filtering of Inconsistent Software Project Data for Analogy-Based Effort Estimation. COMPSAC (2010)
Ah-Rim Han, Sang-Uk Jeon, Doo-Hwan Bae, Jang-Eui Hong
Measuring behavioral dependency for improving change-proneness prediction in UML-based design models. J. Syst. Softw. 83 (2) (2010)
Michael Grottke, Doo-Hwan Bae, Bjørn Axel Gran
Introduction to the special issue. J. Syst. Softw. 83 (9) (2010)
HyeonJeong Kim, W. Eric Wong, Vidroha Debroy, Doo-Hwan Bae
Bridging the Gap between Fault Trees and UML State Machine Diagrams for Safety Analysis. APSEC (2010)
Le Truong Giang, Dongwon Kang, Doo-Hwan Bae
Software Fault Prediction Models for Web Applications. COMPSAC Workshops (2010)

Doo-Hwan Bae.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Doo-Hwan Bae