Dr Donghwan Shin
School of Computer Science
Lecturer in Testing
School Student Experience Lead
Member of the Testing Research Group
Full contact details
School of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
- Profile
-
Dr Donghwan Shin has been a Lecturer in Software Testing in the School of Computer Science, University of Sheffield 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. His work has been funded by the EPSRC (UK) and the National Research Foundation of Korea (South Korea).
- 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
- . Automated Software Engineering, 32(2).
- . Empirical Software Engineering, 29(6).
- 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.
- . Empirical Software Engineering, 29.
- . ACM Transactions on Software Engineering and Methodology, 33(4), 1-39.
- . ACM Transactions on Embedded Computing Systems, 23(1), 1-29.
- . International Journal of Software Engineering and Knowledge Engineering, 34(1), 91-162.
- . IEEE Transactions on Software Engineering, 49(12), 5120-5138.
- . ACM SIGSOFT Software Engineering Notes, 48(4), 39-40.
- . Empirical Software Engineering, 27(6), 141.
- . Empirical Software Engineering, 27(4).
- . Empirical Software Engineering, 26(5).
- . Software Testing, Verification and Reliability, 29(1-2).
- . 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.
Book 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
- , Lecture Notes in Computer Science (pp. 277-287). Springer International Publishing
- , Lecture Notes in Computer Science (pp. 465-479). Springer Berlin Heidelberg
Conference proceedings
- . 2025 IEEE/ACM International Flaky Tests Workshop (FTW). Ottawa, Ontario, Canada, 27 April 2025 - 27 April 2025.
- . 2025 IEEE Conference on Software Testing, Verification and Validation (ICST) (pp 699-710). Naples, Italy, 31 March 2025 - 31 March 2025.
- . 2024 IEEE 24th International Conference on Software Quality, Reliability, and Security Companion (QRS-C) (pp 1089-1090). Cambridge, United Kingdom, 1 July 2024 - 1 July 2024.
- . FinanSE '24: Proceedings of the 1st IEEE/ACM Workshop on Software Engineering Challenges in Financial Firms, Vol. 18 (pp 19-20). New York, United States, 16 April 2024 - 16 April 2024.
- . Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering - Software Engineering for AI (pp 150-159)
- . 2024 UKACC 14th International Conference on Control (CONTROL) (pp 72-77). Winchester, United Kingdom, 10 April 2024 - 10 April 2024.
- . 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) (pp 1814-1826). Melbourne, Australia, 14 May 2023 - 14 May 2023.
- . ICSE '22: Proceedings of the 44th International Conference on Software Engineering (pp 1095-1106). Pittsburgh, Pennsylvania, USA, 21 May 2022 - 21 May 2022.
- . Proceedings of the 44th International Conference on Software Engineering (pp 811-822). Pittsburgh, Pennsylvania, USA, 21 May 2022 - 21 May 2022.
- . Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp 91-102)
- . Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp 517-528)
- . 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) (pp 383-393). Porto de Galinhas, Brazil, 12 April 2021 - 12 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) (pp 11-21), 24 February 2019 - 24 February 2019.
- . Proceedings of the 40th International Conference on Software Engineering (pp 537-548)
- . Proceedings of the 33rd Annual ACM Symposium on Applied Computing (pp 1698-1701)
- . 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) (pp 16-22), 23 May 2017 - 23 May 2017.
- . 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (pp 122-131). Chicago, IL, USA, 11 April 2016 - 11 April 2016.
- . 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) (pp 299-308). Chicago, IL, USA, 11 April 2016 - 11 April 2016.
- . Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems (pp 12-18)
- . 2016 International Conference on Big Data and Smart Computing (BigComp) (pp 509-512), 18 January 2016 - 20 January 2016.
- . 2015 Asia-Pacific Software Engineering Conference (APSEC) (pp 269-276), 1 December 2015 - 4 December 2015.
- . 2015 IEEE 39th Annual Computer Software and Applications Conference (pp 216-221), 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)
- Unseen data detection using routing entropy in mixture-of-experts for autonomous vehicles. Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025. Seoul, South Korea, 16 November 2025 - 16 November 2025.
- . EASE '25: Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering. Istanbul, Turkey, 17 June 2025 - 17 June 2025.
Preprints
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- , arXiv.
- A Theoretical Framework for Understanding Mutation-Based Testing Methods.
- Grants
-
- Simulation-Based Testing for Mobility Cyber-Physical Systems, National Research Foundation of Korea, 04/2025 - 12/2026, £50,011, as PI
- SimpliFaiS: , UKRI, 01/2024 - 07/2026, £464,344, as PI
Links