Publications

Fitash Ul Haq, Donghwan Shin, Lionel Briand (2023). Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems. 2023 IEEE/ACM International Conference on Software Engineering (ICSE).

PDF Cite

Fitash Ul Haq, Donghwan Shin, Lionel Briand (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 Slides DOI

Donghwan Shin, Domenico Bianculli, Lionel Briand (2022). PRINS: Scalable Model Inference for Component-based System Logs. Empirical Software Engineering (to appear).

PDF Cite Code DOI

Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel Briand (2022). Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques. 2022 IEEE/ACM International Conference on Software Engineering (ICSE).

PDF Cite DOI

Donghwan Shin, Zanis Ali Khan, Domenico Bianculli, Lionel Briand (2021). A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection. 2021 International Conference on Runtime Verification (RV).

PDF Cite DOI

Salma Messaoudi, Donghwan Shin, Annibale Panichella, Domenico Bianculli, Lionel Briand (2021). Log-based Slicing for System-level Test Cases. 2021 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).

PDF Cite DOI

Fitash Ul Haq, Donghwan Shin, Lionel Briand (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

Markus Borg, Raja Ben Abdessalem, Shiva Nejati, Francois-Xavier Jegeden, Donghwan Shin (2021). Digital Twins Are Not Monozygotic -- Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators. 2021 IEEE International Conference on Software Testing, Verification and Validation (ICST).

PDF Cite

Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel Briand (2021). Can Offline Testing of Deep Neural Networks Replace Their Online Testing?. Empirical Software Engineering.

PDF Cite

Donghwan Shin, Domenico Bianculli, Lionel Briand (2020). Effective Removal of Operational Log Messages: an Application to Model Inference. arXiv Preprint.

PDF Cite

Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel Briand (2020). Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. 2020 IEEE International Conference on Software Testing, Verification and Validation (ICST).

PDF Cite

Junghun Yoo, Youlim Jung, Donghwan Shin, Minhyo Bae, Eunkyoung Jee (2019). Formal Modeling and Verification of a Federated Byzantine Agreement Algorithm for Blockchain Platforms. 2019 IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE).

Cite DOI

Donghwan Shin, Shin Yoo, Mike Papadakis, Doo-Hwan Bae (2019). Empirical evaluation of mutation-based test case prioritization techniques. Software Testing, Verification and Reliability.

PDF Cite Code Dataset DOI

Donghwan Shin, Shin Yoo, Doo-Hwan Bae (2018). A Theoretical and Empirical Study of Diversity-Aware Mutation Adequacy Criterion. IEEE Transactions on Software Engineering.

PDF Cite DOI

Mike Papadakis, Donghwan Shin, Shin Yoo, Doo-Hwan Bae (2018). Are Mutation Scores Correlated with Real Fault Detection?: A Large Scale Empirical Study on the Relationship Between Mutants and Real Faults. Proceedings of the 40th International Conference on Software Engineering.

PDF Cite DOI

Mingyu Jin, Donghwan Shin, Doo-Hwan Bae (2018). ABC+: Extended Action-benefit-cost Modeling with Knowledge-based Decision-making and Interaction Model for System of Systems Simulation. Proceedings of the 33rd Annual ACM Symposium on Applied Computing.

PDF Cite DOI

Wonkyung Yun, Donghwan Shin, Doo-Hwan Bae (2017). Mutation Analysis for System of Systems Policy Testing. Proceedings of the Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems.

PDF Cite DOI

Junho Kim, Donghwan Shin, Doo-Hwan Bae (2017). An Applicability Study of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal Achievement Verification. KIISE Transactions on Computing Practices.

Cite

Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae (2016). Comprehensive analysis of FBD test coverage criteria using mutants. Software & Systems Modeling.

PDF Cite DOI

Donghwan Shin, Shin Yoo, Doo-Hwan Bae (2016). Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability. 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Cite DOI

Donghwan Shin, Doo-Hwan Bae (2016). A Theoretical Framework for Understanding Mutation-Based Testing Methods. 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Cite DOI

Donghwan Shin, Junho Kim, Wonkyung Yun, Eunkyoung Jee, Doo-Hwan Bae (2016). A Case Study for Mutation-based Fault Localization for FBD Programs. KIISE Transactions on Computing Practices.

Cite

Yoo-Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae (2015). Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems. 2015 IEEE 39th Annual Computer Software and Applications Conference.

Cite DOI

Dongwon Seo, Donghwan Shin, Doo-Hwan Bae (2015). Quality-based software project staffing and scheduling with project deadline. Journal of KIISE.

Cite

Dongwon Seo, Donghwan Shin, Doo-Hwan Bae (2015). Quality Based Software Project Staffing and Scheduling with Budget and Deadline.. QuASoQ/WAWSE/CMCE@ APSEC.

Cite

Jihun Park, Dongwon Seo, Gwangui Hong, Donghwan Shin, Jimin Hwa, Doo-Hwan Bae (2015). Human Resource Allocation in Software Project with Practical Considerations. International Journal of Software Engineering and Knowledge Engineering.

PDF Cite DOI

Jihun Park, Dongwon Seo, Gwangui Hong, Donghwan Shin, Jimin Hwa, Doo-Hwan Bae (2014). Practical Human Resource Allocation in Software Projects Using Genetic Algorithm.. SEKE.

Cite

Eunkyoung Jee, Donghwan Shin, Sungdeok Cha, Jang-Soo Lee, Doo-Hwan Bae (2014). Automated test case generation for FBD programs implementing reactor protection system software. Software Testing, Verification and Reliability.

PDF Cite DOI

Jihun Park, Donghwan Shin, Gwangui Hong, Dongwon Seo, Jimin Hwa, Gigon Bae, Yeong-Seok Seo, Doo-Hwan Bae (2013). Automatic Project Planning Technique and Tool Based on Software Industry Requirements. Journal of Software Engineering Society.

Cite

Jimin Hwa, Jihun Park, Donghwan Shin, Gwangui Hong, Young-Seok Seo, Gigon Bae, Doo-Hwan Bae (2013). Automated Human Resource Allocation based on Practical Feedback from Software Industry. Journal of KIISE: Software and Applications.

Cite

Yeong-Seok Seo, Donghwan Shin, Gookhyun Kim, Jongmoon Baik, Doo-Hwan Bae (2012). Identification of Quality Improvement Strategies using COPQ in Software Industry. International Journal of Performability Engineering.

Cite

Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae (2012). Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis. Model Driven Engineering Languages and Systems.

Cite

Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae (2012). Definition of Mutation Operators for FBD Models. Proceedings of the Korean Information Science Society Conference.

Cite