Shin, Donghwan, Dr

Dr Donghwan Shin

School of Computer Science

Lecturer in Testing

D.Shin@sheffield.ac.uk
+44 114 222 1854

Regent Court (DCS)

Full contact details

Dr Donghwan Shin
School of Computer Science
Regent Court (DCS)
211 Portobello
91ֱ��
S1 4DP

Profile: Dr Donghwan Shin is a Lecturer in Software Testing at the Department of Computer Science, University of 91ֱ�� since 2022. He did his BS (2006-2010), MS (2010-2012), and PhD (2012-2018) at KAIST, South Korea. This is 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

Khan ZA, Shin D, Bianculli D & Briand LC (2024) . Empirical Software Engineering, 29(6).
Hadadi F, Dawes JH, Shin D, Bianculli D & Briand L (2024) . Empirical Software Engineering, 29(5).
Biagiola M, Cardozo N, Khomh F, Riccio V, Shin D & Stocco A (2024) 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.
Biagiola M, Cardozo N, Shin D, Khomh F, Stocco A & Riccio V (2023) . ACM SIGSOFT Software Engineering Notes, 48(4), 39-40.
Sharifi S, Shin D, Briand LC & Aschbacher N (2023) . IEEE Transactions on Software Engineering, 1-19.
Haq FU, Shin D, Nejati S & Briand L (2022) . Empirical Software Engineering, 27(6).
Shin D, Bianculli D & Briand L (2022) . Empirical Software Engineering, 27(4).
Haq FU, Shin D, Nejati S & Briand L (2021) . Empirical Software Engineering, 26(5).
Shin D, Yoo S, Papadakis M & Bae D-H (2019) . Software Testing, Verification and Reliability, 29(1-2), e1695-e1695.
Shin D, Yoo S & Bae D-H (2018) . IEEE Transactions on Software Engineering, 44(10), 914-931.
Kim J, Shin D & Bae D-H (2017) . KIISE Transactions on Computing Practices, 23(4), 256-261.
Shin D, Kim J, Yun W, Jee E & Bae D-H (2016) . KIISE Transactions on Computing Practices, 22(3), 145-150.
Shin D, Jee E & Bae D-H (2016) . Software & Systems Modeling, 15(3), 631-645.
Seo D, Shin D & Bae D-H (2015) . Journal of KIISE, 42(7), 878-888.
Park J, Seo D, Hong G, Shin D, Hwa J & Bae D-H (2015) . International Journal of Software Engineering and Knowledge Engineering, 25(01), 5-26.
Jee E, Shin D, Cha S, Lee J-S & Bae D-H (2014) . Software Testing, Verification and Reliability, 24(8), 608-628.
Seo YS, Shin D, Kim G, Baik J & Bae DH (2012) Identification of quality improvement strategies using COPQ in software industry. International Journal of Performability Engineering, 8(6), 679-688.
Clun D, Shin D, Filieri A & Bianculli D () . ACM Transactions on Software Engineering and Methodology.
Shin Y-J, Shin D & Bae D-H () . ACM Transactions on Embedded Computing Systems.
Baek Y-M, Cho E, Shin D & Bae D-H () . International Journal of Software Engineering and Knowledge Engineering.

Chapters

Dawes JH, Shin D & Bianculli D (2023) In Lambers L & Uchitel S (Ed.), Fundamental Approaches to Software Engineering (pp. 249-259). Springer Nature Switzerland
Shin D, Khan ZA, Bianculli D & Briand L (2021) , Runtime Verification (pp. 277-287). Springer International Publishing
Shin D, Jee E & Bae D-H (2012) , Model Driven Engineering Languages and Systems (pp. 465-479). Springer Berlin Heidelberg

Conference proceedings papers

Ceci M, Sannier N, Abualhaija S, Shin D, Bianculli D & Halling M (2024) . Proceedings of the 1st IEEE/ACM Workshop on Software Engineering Challenges in Financial Firms, Vol. 18 (pp 19-20)
Shin D & Pennada S (2024) . 2024 IEEE 24th International Conference on Software Quality, Reliability, and Security Companion (QRS-C) (pp 1089-1090), 1 July 2024 - 5 July 2024.
Li Z & Shin D (2024) . Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering - Software Engineering for AI
Liang W, Baldivieso PR, Drummond R & Shin D (2024) . 2024 UKACC 14th International Conference on Control (CONTROL), 10 April 2024 - 12 April 2024.
Ul Haq F, Shin D & Briand LC (2023) . 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 14 May 2023 - 20 May 2023.
Khan ZA, Shin D, Bianculli D & Briand L (2022) . Proceedings of the 44th International Conference on Software Engineering
Haq FU, Shin D & Briand L (2022) . Proceedings of the 44th International Conference on Software Engineering
Haq FU, Shin D, Briand LC, Stifter T & Wang J (2021) . Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis
Messaoudi S, Shin D, Panichella A, Bianculli D & Briand LC (2021) . Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis
Borg M, Abdessalem RB, Nejati S, Jegeden F-X & Shin D (2021) . 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 12 April 2021 - 16 April 2021.
Haq FU, Shin D, Nejati S & Briand LC (2020) . 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), 24 October 2020 - 28 October 2020.
Yoo J, Jung Y, Shin D, Bae M & Jee E (2019) . 2019 IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE), 24 February 2019 - 24 February 2019.
Papadakis M, Shin D, Yoo S & Bae D-H (2018) . Proceedings of the 40th International Conference on Software Engineering
Jin M, Shin D & Bae D-H (2018) . Proceedings of the 33rd Annual ACM Symposium on Applied Computing
Yun W, Shin D & Bae D-H (2017) . 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.
Shin D, Yoo S & Bae D-H (2016) . 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 11 April 2016 - 15 April 2016.
Shin D & Bae D-H (2016) . 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), 11 April 2016 - 15 April 2016.
Seo D, Shin D, Baek Y-M, Song J, Yun W, Kim J, Jee E & Bae D-H (2016) . Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems - SESoS '16, 14 May 2016 - 22 May 2016.
Lim YJ, Gwangui Hong , Donghwan Shin , Eunkyoung Jee & Doo-Hwan Bae (2016) . 2016 International Conference on Big Data and Smart Computing (BigComp), 18 January 2016 - 20 January 2016.
Seo D, Shin D & Bae D-H (2015) . 2015 Asia-Pacific Software Engineering Conference (APSEC), 1 December 2015 - 4 December 2015.
Lim YJ, Jee E, Shin D & Bae D-H (2015) . 2015 IEEE 39th Annual Computer Software and Applications Conference, 1 July 2015 - 5 July 2015.
Seo D, Shin D & Bae DH (2015) Quality based software project staffing and scheduling with budget and deadline. CEUR Workshop Proceedings, Vol. 1519 (pp 58)
Park J, Seo D, Hong G, Shin D, Hwa J & Bae DH (2014) 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)

Preprints

Saarimäki N, Shin D & Bianculli D (2024) Taxonomy of Software Log Smells.
Liang W, Baldivieso PR, Drummond R & Shin D (2024) , arXiv.
Li Z & Shin D (2024) Mutation-based Consistency Testing for Evaluating the Code Understanding Capability of LLMs.
Khan ZA, Shin D, Bianculli D & Briand L (2023) Impact of Log Parsing on Log-based Anomaly Detection.
Hadadi F, Dawes JH, Shin D, Bianculli D & Briand L (2023) Systematic Evaluation of Deep Learning Models for Failure Prediction.
Sharifi S, Shin D, Briand LC & Aschbacher N (2023) , arXiv.
Clun D, Shin D, Filieri A & Bianculli D (2022) Rigorous Assessment of Model Inference Accuracy using Language Cardinality.
Haq FU, Shin D & Briand L (2022) Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems.
Baek Y-M, Cho E, Shin D & Bae D-H (2022) Literature Review to Collect Conceptual Variables of Scenario Methods for Establishing a Conceptual Scenario Framework, arXiv.
Shin Y-J, Shin D & Bae D-H (2022) Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification.
Shin D, Bianculli D & Briand L (2021) PRINS: Scalable Model Inference for Component-based System Logs, arXiv.
Haq FU, Shin D, Nejati S & Briand L (2021) Can Offline Testing of Deep Neural Networks Replace Their Online Testing?, arXiv.
Borg M, Abdessalem RB, Nejati S, Jegeden F-X & Shin D (2020) Digital Twins Are Not Monozygotic -- Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators, arXiv.
Haq FU, Shin D, Briand LC, Stifter T & Wang J (2020) Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper), arXiv.
Shin D, Bianculli D & Briand L (2020) Effective Removal of Operational Log Messages: an Application to Model Inference, arXiv.
Haq FU, Shin D, Nejati S & Briand L (2019) Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study, arXiv.
Shin D, Messaoudi S, Bianculli D, Panichella A, Briand L & Sasnauskas R (2019) Scalable Inference of System-level Models from Component Logs, arXiv.
Shin D, Yoo S, Papadakis M & Bae D-H (2017) Empirical Evaluation of Mutation-based Test Prioritization Techniques, arXiv.
Shin D & Bae D-H (2016) A Theoretical Framework for Understanding Mutation-Based Testing Methods.

Grants: SimpliFaiS: Simplification of Failure Scenarios for Machine Learning-enabled Autonomous Systems, UKRI, 01/01/2024 - 30/06/2026, £464,344, as PI