Publications
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.
2024
Conferences | Workshops
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) [preprint]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)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)
2023
Conferences | Workshops
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]
Journals
Rigorous Assessment of Model Inference Accuracy using Language Cardinality
Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli
ACM Transactions on Software Engineering and Methodology (just accepted) [link][pdf]Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification
Yong-Jun Shin, Donghwan Shin, Doo-Hwan Bae
ACM Transactions on Embedded Computing Systems (just accepted) [link]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]
Preprints
Systematic Evaluation of Deep Learning Models for Failure Prediction
Fatemeh Hadadi, Joshua H Dawes, Donghwan Shin, Domenico Bianculli, Lionel Briand
arXiv preprint arXiv:2303.07230 [pdf]Impact of Log Parsing on Log-based Anomaly Detection
Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel Briand
arXiv preprint arXiv:2305.15897 [pdf]
2022
Conferences | Workshops
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]
Journals
PRINS: scalable model inference for component-based system logs
Donghwan Shin, Domenico Bianculli, Lionel Briand
Empirical Software Engineering 27 (4) [pdf]
Preprints
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]
2021
Conferences | Workshops
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]
Journals
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]
2020
Conferences | Workshops
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]
Preprints
Effective Removal of Operational Log Messages: an Application to Model Inference
Donghwan Shin, Domenico Bianculli, Lionel Briand
arXiv preprint arXiv:2004.07194 [pdf]
2019
Conferences | Workshops
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]
Journals
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]
Preprints
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]
2018
Conferences | Workshops
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]
2017
Conferences | Workshops
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]
Journals
A theoretical and empirical study of diversity-aware mutation adequacy criterion
Donghwan Shin, Shin Yoo, Doo-Hwan Bae
IEEE Transactions on Software Engineering [link]
2016
Conferences | Workshops
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-SystemsA 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)
Journals
Comprehensive analysis of FBD test coverage criteria using mutants
Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
Software & Systems Modeling [pdf]
2015
Conferences | Workshops
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
Journals
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
2014
Conferences | Workshops
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]
2012
Conferences | Workshops
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)