Donghwan Shin

Donghwan Shin

Lecturer in Testing

University of Sheffield

Biography

I am a lecturer at the Department of Computer Science, University of Sheffield.

My research and teaching 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.

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. This was followed by 4 years as a research associate/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.

Interests
  • Mutation Testing
  • Regression Testing
  • Testing for ML-enabled Systems and Cyber-Physical Systems
  • Log-based Analysis
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.
(2022). Efficient Online Testing for DNN-Enabled Systems using Surrogate-Assisted and Many-Objective Optimization. 2022 IEEE/ACM International Conference on Software Engineering (ICSE).

PDF Cite DOI

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

PDF Cite DOI

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

PDF Cite Code DOI

(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).

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 DOI

Featured Projects

 
 
 
 
 
INSTRUCT: INtegrated Satellite-TeRrestrial Systems for Ubiquitous Beyond 5G CommunicaTions (ST-01: Automated Software Testing for Complex CPS)
Sep 2021 – Jul 2022 Luxembourg
researched advanced testing framework for ML-enabled autonomous systems.
 
 
 
 
 
FUNTASY: FUNctional safeTy for Autonomous Systems
Aug 2020 – Jul 2022
researched advanced testing framework for ML-enabled autonomous systems.
 
 
 
 
 
CRITISEC - Critical Infrastructure Security
Apr 2020 – Mar 2022
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

Distinguished Paper Award
Paper Title: Efficient Online Testing for DNN-Enabled Systems using Surrogate-Assisted and Many-Objective Optimization
Outstanding PhD Thesis Award
Outstanding Teaching Assistant Award
Outstanding Teaching Assistant Award