Below is a list of my research publications, except for the papers written in Korean. To see the full list, please refer to my Google Scholar page.
Using Causal Inference to Test Systems with Hidden and Interacting Variables: An Evaluative Case Study
Michael Foster, Robert Hierons, Donghwan Shin, Neil Walkinshaw and Chris Wild
Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering (EASE 2025) [preprint][to appear]
Can Test Generation and Program Repair Inform Automated Assessment of Programming Projects?
Ruizhen Gu, José Miguel Rojas and Donghwan Shin
Proceedings of the 18th IEEE International Conference on Software Testing, Verification and Validation (ICST 2025 - Education Track) [preprint][to appear]
Empirically Evaluating Flaky Tests for Autonomous Driving Systems in Simulated Environments
Olek Osikowicz, Phil McMinn and Donghwan Shin
The 2nd International Flaky Tests Workshop (FTW, co-located with ICSE 2025) [preprint][to appear]
Mutation-based Consistency Testing for Evaluating the Code Understanding Capability of LLMs
Ziyu Li, Donghwan Shin
Proceedings of the 3rd International Conference on AI Engineering – Software Engineering for AI (CAIN 2024, co-located with ICSE 2024) [link] [slides]
Toward Automated Compliance Checking of Fund Activities Using Runtime Verification Techniques (extended abstract)
Marcello Ceci, Nicolas Sannier, Donghwan Shin, Sallam Abualhaija, Domenico Bianculli, Michael Halling
Proceedings of the 1st Workshop on Software Engineering Challenges in Financial Firms (FinanSE 2024) [preprint] [slides]
Tuning the feedback controller gains is a simple way to improve autonomous driving performance
Wenyu Liang, Ross Drummond, Pablo Baldivieso Monasterios, Donghwan Shin
Proceedings of the 14th United Kingdom Automatic Control Council (UKACC) International Conference on Control (Control 2024) [link]
Towards Simplification of Failure Scenarios for Machine Learning-Enabled Autonomous Systems (extended abstract)
Donghwan Shin, Sanjeetha Pennada
Proceedings of 2024 IEEE 24th International Conference on Software Quality, Reliability, and Security Companion (QRS-C) [link][slides]
Autonomous Driving System Testing: Traffic Density Does Matter
Guannan Lou, Donghwan Shin, Neil Walkinshaw, Robert M Hierons
Proceedings of 2024 36th International Conference on Testing Software and Systems (ICTSS) [to appear]
Impact of Log Parsing on Deep Learning-based Anomaly Detection
Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel Briand
Empirical Software Engineering 29 (139) [link]
Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning
Yong-Jun Shin, Donghwan Shin, Doo-Hwan Bae
ACM Transactions on Embedded Computing Systems 23 (1) [link]
Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction
Fatemeh Hadadi, Joshua H Dawes, Donghwan Shin, Domenico Bianculli, Lionel Briand
Empirical Software Engineering 29 (105) [link]
Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems
FU Haq, D Shin, L Briand
Proceedings of the 45th ACM/IEEE International Conference on Software Engineering (ICSE 2023) [pdf] [link]
Towards Log Slicing
Joshua Dawes, Donghwan Shin, Domenico Bianculli
Proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering (FASE 2023) [link]
Rigorous Assessment of Model Inference Accuracy using Language Cardinality
Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli
ACM Transactions on Software Engineering and Methodology 33 (4) [link][pdf]
Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search
Sepehr Sharifi, Donghwan Shin, Lionel C Briand, Nathan Aschbacher
IEEE Transactions on Software Engineering [link] [pdf]
An extensible modeling method supporting ontology-based scenario specification and domain-specific extension
Young-Min Baek, Esther Cho, Donghwan Shin, Doo-Hwan Bae
International Journal of Software Engineering and Knowledge Engineering (IJSEKE) [link]
Efficient online testing for DNN-enabled systems using surrogate-assisted and many-objective optimization (Distinguished Paper Award 🏆)
Fitash Ul Haq, Donghwan Shin, Lionel Briand
Proceedings of the 44th International Conference on Software Engineering (ICSE 2022) [pdf] [link]
Guidelines for assessing the accuracy of log message template identification techniques
Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel Briand
Proceedings of the 44th International Conference on Software Engineering (ICSE 2022) [pdf]
PRINS: scalable model inference for component-based system logs
Donghwan Shin, Domenico Bianculli, Lionel Briand
Empirical Software Engineering 27 (4) [pdf]
Literature Review to Collect Conceptual Variables of Scenario Methods for Establishing a Conceptual Scenario Framework
Young-Min Baek, Esther Cho, Donghwan Shin, Doo-Hwan Bae
arXiv preprint arXiv:2205.08290 [pdf]
A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection
Donghwan Shin, Zanis Ali Khan, Domenico Bianculli, Lionel Briand
Proceedings of Runtime Verification: 21st International Conference (RV 2021) [pdf]
Automatic test suite generation for key-points detection DNNs using many-objective search (experience paper)
Fitash Ul Haq, Donghwan Shin, Lionel C Briand, Thomas Stifter, Jun Wang
Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021) [pdf]
Log-based slicing for system-level test cases
Salma Messaoudi, Donghwan Shin, Annibale Panichella, Domenico Bianculli, Lionel C Briand
Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021) [pdf]
Digital twins are not monozygotic–cross-replicating adas testing in two industry-grade automotive simulators
Markus Borg, Raja Ben Abdessalem, Shiva Nejati, François-Xavier Jegeden, Donghwan Shin
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation (ICST 2021) [pdf]
Can Offline Testing of Deep Neural Networks Replace Their Online Testing?
Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel Briand
Empirical Software Engineering 26 (5) [html]
Comparing offline and online testing of deep neural networks: An autonomous car case study
Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C Briand
Proceedings of the 13th IEEE Conference on Software Testing, Verification and Validation (ICST 2020) [pdf]
Effective Removal of Operational Log Messages: an Application to Model Inference
Donghwan Shin, Domenico Bianculli, Lionel Briand
arXiv preprint arXiv:2004.07194 [pdf]
Formal modeling and verification of a federated byzantine agreement algorithm for blockchain platforms
Junghun Yoo, Youlim Jung, Donghwan Shin, Minhyo Bae, Eunkyoung Jee
Proceedings of IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE 2019) [pdf]
Empirical evaluation of mutation‐based test case prioritization techniques
Donghwan Shin, Shin Yoo, Mike Papadakis, Doo‐Hwan Bae
Software Testing, Verification and Reliability 29 (1-2) [pdf]
Scalable inference of system-level models from component logs
Donghwan Shin, Salma Messaoudi, Domenico Bianculli, Annibale Panichella, Lionel Briand, Raimondas Sasnauskas
arXiv preprint arXiv:1908.02329 [pdf]
Are mutation scores correlated with real fault detection? a large scale empirical study on the relationship between mutants and real faults
Mike Papadakis, Donghwan Shin, Shin Yoo, Doo-Hwan Bae
Proceedings of the 40th International Conference on Software Engineering (ICSE 2018) [pdf]
ABC+ extended action-benefit-cost modeling with knowledge-based decision-making and interaction model for system of systems simulation
Mingyu Jin, Donghwan Shin, Doo-Hwan Bae
Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC 2018) [pdf]
Mutation analysis for system of systems policy testing
Wonkyung Yun, Donghwan Shin, Doo-Hwan Bae
Proceedings of the IEEE/ACM Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (JSOS) [pdf]
A theoretical and empirical study of diversity-aware mutation adequacy criterion
Donghwan Shin, Shin Yoo, Doo-Hwan Bae
IEEE Transactions on Software Engineering [link]
Modeling and verification for different types of system of systems using PRISM
Dongwon Seo, Donghwan Shin, Young-Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae
Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems
A theoretical framework for understanding mutation-based testing methods
Donghwan Shin, Doo-Hwan Bae
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation (ICST 2016) [pdf]
Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability
Donghwan Shin, Shin Yoo, Doo-Hwan Bae
Proceedings of the IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (Mutation 2016) [pdf]
A runtime verification framework for dynamically adaptive multi-agent systems
Yoo Jin Lim, Gwangui Hong, Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
Proceedings of the International Conference on Big Data and Smart Computing (BigComp 2016)
Comprehensive analysis of FBD test coverage criteria using mutants
Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
Software & Systems Modeling [pdf]
Efficient testing of self-adaptive behaviors in collective adaptive systems
Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae
Proceedings of the IEEE 39th Annual Computer Software and Applications Conference
Human resource allocation in software project with practical considerations
Jihun Park, Dongwon Seo, Gwangui Hong, Donghwan Shin, Jimin Hwa, Doo-Hwan Bae
International Journal of Software Engineering and Knowledge Engineering
Practical Human Resource Allocation in Software Projects Using Genetic Algorithm
Jihun Park, Dongwon Seo, Gwangui Hong, Donghwan Shin, Jimin Hwa, Doo-Hwan Bae
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering [pdf]
Empirical evaluation on FBD model-based test coverage criteria using mutation analysis
Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012)