СŷÊÓƵ

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

• Lou G, Shin D, Walkinshaw N & Hierons RM (2025) , Lecture Notes in Computer Science (pp. 315-331). Springer Nature Switzerland
• 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)
• Gu R, Rojas JM & Shin D () Can Test Generation and Program Repair Inform Automated Assessment of Programming Projects?. 2025 IEEE Conference on Software Testing, Verification and Validation (ICST)
• Osikowicz O, McMinn P & Shin D () Empirically Evaluating Flaky Tests for Autonomous Driving Systems in Simulated Environments. Proceedings of the 2nd International Workshop on Flaky Tests

Preprints

• Gu R, Rojas JM & Shin D (2025) Software Testing for Extended Reality Applications: A Systematic Mapping Study, arXiv.
• 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.