Dr Donghwan Shin
School of Computer Science
Lecturer in Testing
School Student Experience Lead
D.Shin@sheffield.ac.uk
Regent Court (DCS)
Full contact details
Dr Donghwan Shin
School of Computer Science
Regent Court (DCS)
211 Portobello
91Ö±²¥
S1 4DP
School of Computer Science
Regent Court (DCS)
211 Portobello
91Ö±²¥
S1 4DP
- Profile
-
Dr Donghwan Shin has been a Lecturer in Software Testing in the School of Computer Science, University of 91Ö±²¥ since 2022. He did his BSc (2006-2010), MSc (2010-2012), and PhD (2012-2018) at KAIST, South Korea. This was followed by four years as a research associate (2018-2020) and research scientist (2020-2022) at SnT, University of Luxembourg.
- Research interests
-
His 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). He has published research papers at top venues such as ICSE, ICST, ISSTA, and MODELS and journals such as TSE, EMSE, and STVR.
- Publications
-
Journal articles
- . Empirical Software Engineering, 29(6).
- . Empirical Software Engineering, 29(5).
- The 5thWorkshop on Testing for Deep Learning and Deep Learning for Testing (DeepTest 2024). Proceedings - 2024 IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, DeepTest 2024, VII.
- . ACM SIGSOFT Software Engineering Notes, 48(4), 39-40.
- . IEEE Transactions on Software Engineering, 1-19.
- . Empirical Software Engineering, 27(6).
- . Empirical Software Engineering, 27(4).
- . Empirical Software Engineering, 26(5).
- . Software Testing, Verification and Reliability, 29(1-2), e1695-e1695.
- . IEEE Transactions on Software Engineering, 44(10), 914-931.
- . KIISE Transactions on Computing Practices, 23(4), 256-261.
- . KIISE Transactions on Computing Practices, 22(3), 145-150.
- . Software & Systems Modeling, 15(3), 631-645.
- . Journal of KIISE, 42(7), 878-888.
- . International Journal of Software Engineering and Knowledge Engineering, 25(01), 5-26.
- . Software Testing, Verification and Reliability, 24(8), 608-628.
- Identification of quality improvement strategies using COPQ in software industry. International Journal of Performability Engineering, 8(6), 679-688.
- . ACM Transactions on Software Engineering and Methodology.
- . ACM Transactions on Embedded Computing Systems.
- . International Journal of Software Engineering and Knowledge Engineering.
Chapters
- , Lecture Notes in Computer Science (pp. 315-331). Springer Nature Switzerland
- In Lambers L & Uchitel S (Ed.), Fundamental Approaches to Software Engineering (pp. 249-259). Springer Nature Switzerland
- , Runtime Verification (pp. 277-287). Springer International Publishing
- , Model Driven Engineering Languages and Systems (pp. 465-479). Springer Berlin Heidelberg
Conference proceedings papers
- . Proceedings of the 1st IEEE/ACM Workshop on Software Engineering Challenges in Financial Firms, Vol. 18 (pp 19-20)
- . 2024 IEEE 24th International Conference on Software Quality, Reliability, and Security Companion (QRS-C) (pp 1089-1090), 1 July 2024 - 5 July 2024.
- . Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering - Software Engineering for AI
- . 2024 UKACC 14th International Conference on Control (CONTROL), 10 April 2024 - 12 April 2024.
- . 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 14 May 2023 - 20 May 2023.
- . Proceedings of the 44th International Conference on Software Engineering
- . Proceedings of the 44th International Conference on Software Engineering
- . Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis
- . Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis
- . 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 12 April 2021 - 16 April 2021.
- . 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), 24 October 2020 - 28 October 2020.
- . 2019 IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE), 24 February 2019 - 24 February 2019.
- . Proceedings of the 40th International Conference on Software Engineering
- . Proceedings of the 33rd Annual ACM Symposium on Applied Computing
- . 2017 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), 23 May 2017 - 23 May 2017.
- . 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 11 April 2016 - 15 April 2016.
- . 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), 11 April 2016 - 15 April 2016.
- . Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems - SESoS '16, 14 May 2016 - 22 May 2016.
- . 2016 International Conference on Big Data and Smart Computing (BigComp), 18 January 2016 - 20 January 2016.
- . 2015 Asia-Pacific Software Engineering Conference (APSEC), 1 December 2015 - 4 December 2015.
- . 2015 IEEE 39th Annual Computer Software and Applications Conference, 1 July 2015 - 5 July 2015.
- Quality based software project staffing and scheduling with budget and deadline. CEUR Workshop Proceedings, Vol. 1519 (pp 58)
- Practical human resource allocation in software projects using genetic algorithm. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, Vol. 2014-January(January) (pp 688-694)
- Using Causal Inference to Test Systems with Hidden and Interacting Variables: An Evaluative Case Study. Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering
- Can Test Generation and Program Repair Inform Automated Assessment of Programming Projects?. 2025 IEEE Conference on Software Testing, Verification and Validation (ICST)
- Empirically Evaluating Flaky Tests for Autonomous Driving Systems in Simulated Environments. Proceedings of the 2nd International Workshop on Flaky Tests
Preprints
- Using Causal Inference to Test Systems with Hidden and Interacting
Variables: An Evaluative Case Study.
- Software Testing for Extended Reality Applications: A Systematic Mapping Study, arXiv.
- Taxonomy of Software Log Smells.
- , arXiv.
- Mutation-based Consistency Testing for Evaluating the Code Understanding
Capability of LLMs.
- Impact of Log Parsing on Log-based Anomaly Detection.
- Systematic Evaluation of Deep Learning Models for Failure Prediction.
- , arXiv.
- Rigorous Assessment of Model Inference Accuracy using Language
Cardinality.
- Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled
Systems.
- Literature Review to Collect Conceptual Variables of Scenario Methods for Establishing a Conceptual Scenario Framework, arXiv.
- Environment Imitation: Data-Driven Environment Model Generation Using
Imitation Learning for Efficient CPS Goal Verification.
- PRINS: Scalable Model Inference for Component-based System Logs, arXiv.
- Can Offline Testing of Deep Neural Networks Replace Their Online
Testing?, arXiv.
- Digital Twins Are Not Monozygotic -- Cross-Replicating ADAS Testing in
Two Industry-Grade Automotive Simulators, arXiv.
- Automatic Test Suite Generation for Key-Points Detection DNNs using
Many-Objective Search (Experience Paper), arXiv.
- Effective Removal of Operational Log Messages: an Application to Model
Inference, arXiv.
- Comparing Offline and Online Testing of Deep Neural Networks: An
Autonomous Car Case Study, arXiv.
- Scalable Inference of System-level Models from Component Logs, arXiv.
- Empirical Evaluation of Mutation-based Test Prioritization Techniques, arXiv.
- A Theoretical Framework for Understanding Mutation-Based Testing Methods.
- . Empirical Software Engineering, 29(6).
- Grants
-
- SimpliFaiS: , UKRI, 01/2024 - 07/2026, £464,344, as PI