Donghwan Shin

Donghwan Shin

Research Scientist (Level 2)

University of Luxembourg (SnT)


I am a research scientist at the SVV (Software Verification and Validation) group, led by Prof. Lionel Briand, at the Interdisciplinary Centre for ICT Security, Reliability, and Trust (SnT) of the University of Luxembourg (UL).

I did my Ph.D. under the supervision of Prof. Doo-Hwan Bae at Korea Advanced Institute of Science and Technology (KAIST), South Korea; my Ph.D. work, titled “Diversity-aware Mutation Adequacy Criterion for Improving the Fault Detection Capability of Test Suites”, won the Outstanding Thesis Award from the School of Computing, KAIST. I hold a B.C. and M.S. in Computer Science, both from KAIST.

My research interests lie in mutation testing, testing for ML-enabled cyber-physical systems (e.g., ML-enabled automated driving systems), and log analysis (e.g., model inference and anomaly detection). I have published over 20 research papers at venues such as ICSE, ICST, ISSTA, and MODELS and journals such as TSE, EMSE, and STVR.

  • Mutation Testing
  • Regression Testing
  • Testing for ML-enabled Systems and Cyber-Physical Systems
  • Log-based Analysis
  • PhD in Computer Science (Software Engineering), 2018


  • MEng in Computer Science (Software Engineering), 2012


  • BSc in Computer Science, 2010


Recent Publications

Quickly discover relevant content by filtering publications.
(2022). Efficient Online Testing for DNN-Enabled Systems using Surrogate-Assisted and Many-Objective Optimization. 2022 IEEE/ACM International Conference on Software Engineering (ICSE) (to appear).


(2022). PRINS: Scalable Model Inference for Component-based System Logs. Empirical Software Engineering (to appear).

PDF Cite Code

(2022). Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques. 2022 IEEE/ACM International Conference on Software Engineering (ICSE) (to appear).


(2021). Automatic Test Suite Generation for Key-points Detection DNNs Using Many-Objective Search (Experience Paper). 2021 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).


(2021). Log-based Slicing for System-level Test Cases. 2021 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).


Featured Projects

INSTRUCT: INtegrated Satellite-TeRrestrial Systems for Ubiquitous Beyond 5G CommunicaTions (ST-01: Automated Software Testing for Complex CPS)
Sep 2021 – Present Luxembourg
researched advanced testing framework for ML-enabled autonomous systems.
FUNTASY: FUNctional safeTy for Autonomous Systems
Aug 2020 – Present
researched advanced testing framework for ML-enabled autonomous systems.
CRITISEC - Critical Infrastructure Security
Apr 2020 – Present
researched advanced log preprocessing techniques for anomaly detection.
Artificial Intelligence for Safety Critical Complex Systems
Jan 2019 – Oct 2021 Luxembourg
researched DNN testing techniques for autonomous vehicles.
LISTENER: Log-driven, Search-based Test Generation for Ground Control Systems
Aug 2018 – Jul 2021 Luxembourg
researched log-driven analysis techniques for cyber-physical systems.
Modeling and Verification of FBA Consensus Algorithm based on SCP and mFBA Consensus Algorithm of BlockchainOS
Feb 2018 – Aug 2018 South Korea
researched model-based formal verification of blockchain protocols.
(SW STAR LAB) Software R&D for Model-based Analysis and Verification of Higher-order Large Complex System
Mar 2015 – Aug 2018 South Korea
researched the foundation of System-of-Systems (SoS) and developed V&V techniques for SoS.
Development of Autonomous Intelligent Collaboration Framework for Knowledge Bases and Smart Devices
Ministry of Science, ICT and Future Planning
May 2013 – Feb 2016 South Korea
researched automated software testing approaches for self-adaptive systems.

Academic Services

Program Committee Services

Organizing Committee Services

Reviewer Services

  • Reviewer: ACM Transactions on Internet Technology, 2021
  • Reviewer: Software Testing, Verification and Reliability (STVR), 2018, 2020-2021
  • Reviewer: Journal of Systems and Software (JSS), 2020
  • Reviewer: Computer Networks (COMNET), 2020
  • Reviewer: IEEE Access, 2019-2020
  • Reviewer: IEEE Transaction on Software Engineering and Methodology (TOSEM), 2019-2020
  • Reviewer: Software Quality Journal, 2018-2020
  • Reviewer: Empirical Software Engineering (EMSE), 2018, 2020
  • Reviewer: IEEE Transactions on Industrial Informatics (TII), 2019
  • Reviewer: ACM Computing Survey (CSUR), 2019
  • Reviewer: IET Software, 2018-2019
  • Reviewer: Journal of Systems and Software (JSS), 2018

External Reviewer Services

  • Co-Reviewer: IEEE Transaction on Reliability (TR 2019)
  • Co-Reviewer: ESEC/FSE 2019
  • Co-Reviewer: QRS 2018
  • Co-Reviewer: SAC 2016
  • Co-Reviewer: SEKE 2016
  • Co-Reviewer: SEKE 2015
  • Co-Reviewer: ICSME 2014
  • Co-Reviewer: SEKE 2013
  • Co-Reviewer: ICSM 2013
  • Co-Reviewer: APSEC 2012

Awards and Honors

Outstanding PhD Thesis Award
Outstanding Teaching Assistant Award
Outstanding Teaching Assistant Award