Donghwan Shin

Donghwan Shin

Research Scientist

University of Luxembourg (SnT)

Biography

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.

I want to make a more reliable and safer world using software engineering. To do this, my research interests lie in how to systematically detect bugs (i.e., testing) and how to efficiently fix any faulty behaviors (i.e., debugging). Recently, I am also interested in software system testing approaches for ML-based systems (e.g., DNN-based automated driving systems).

Interests
  • Software Mutation Testing
  • Regression Testing
  • Log-based Analysis
  • Testing for AI
Education
  • PhD in Computer Science (Software Engineering), 2018

    KAIST

  • MEng in Computer Science (Software Engineering), 2012

    KAIST

  • BSc in Computer Science, 2010

    KAIST

Recent Publications

Quickly discover relevant content by filtering publications.
(2021). PRINS: Scalable Model Inference for Component-based System Logs. arXiv Preprint.

PDF Cite Code

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

PDF Cite DOI

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

PDF Cite

(2021). Digital Twins Are Not Monozygotic -- Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators. 2021 IEEE International Conference on Software Testing, Verification and Validation (ICST).

PDF Cite

(2021). Can Offline Testing of Deep Neural Networks Replace Their Online Testing?. Empirical Software Engineering (to appear).

PDF Cite

Featured Projects

 
 
 
 
 
CRITISEC - Critical Infrastructure Security
Apr 2020 – Present
researched advanced log preprocessing techniques for anomaly detection.
 
 
 
 
 
Artificial Intelligence for Safety Critical Complex Systems
Jan 2019 – Present Luxembourg
researched DNN testing techniques for autonomous vehicles.
 
 
 
 
 
LISTENER: Log-driven, Search-based Test Generation for Ground Control Systems
Aug 2018 – Present 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: IEEE Access, 2020
  • Reviewer: Journal of Systems and Software (JSS), 2020
  • Reviewer: IEEE Transaction on Software Engineering and Methodology (TOSEM), 2020
  • Reviewer: Computer Networks (COMNET), 2020
  • Reviewer: IEEE Transaction on Software Engineering and Methodology (TOSEM), 2019
  • Reviewer: IEEE Access, 2019
  • Reviewer: IEEE Transactions on Industrial Informatics (TII), 2019
  • Reviewer: IET Software, 2019
  • Reviewer: ACM Computing Survey (CSUR), 2019
  • Reviewer: Empirical Software Engineering (EMSE), 2019
  • Reviewer: IET Software, 2018
  • Reviewer: Software Quality Journal, 2018
  • Reviewer: Journal of Systems and Software (JSS), 2018
  • Reviewer: Software Testing, Verification and Reliability (STVR), 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