Donghwan Shin

According to our database, Donghwan Shin authored at least 43 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning.

Yong-Jun Shin, Donghwan Shin, Doo-Hwan Bae

ACM Trans. Embed. Comput. Syst., January, 2024

An Extensible Modeling Method Supporting Ontology-Based Scenario Specification and Domain-Specific Extension.

Young Min Baek, Esther Cho, Donghwan Shin, Doo-Hwan Bae

Int. J. Softw. Eng. Knowl. Eng., January, 2024

2023

Identifying the Hazard Boundary of ML-Enabled Autonomous Systems Using Cooperative Coevolutionary Search.

Sepehr Sharifi, Donghwan Shin, Lionel C. Briand, Nathan Aschbacher

IEEE Trans. Software Eng., December, 2023

Impact of Log Parsing on Log-based Anomaly Detection.

Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel C. Briand

CoRR, 2023

Systematic Evaluation of Deep Learning Models for Failure Prediction.

Fatemeh Hadadi, Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli, Lionel C. Briand

CoRR, 2023

Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search.

Sepehr Sharifi, Donghwan Shin, Lionel C. Briand, Nathan Aschbacher

CoRR, 2023

Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems.

Fitash Ul Haq, Donghwan Shin, Lionel C. Briand

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Towards Log Slicing.

Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

Replication package for "Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques".

Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel C. Briand

Dataset, January, 2022

PRINS: scalable model inference for component-based system logs.

Donghwan Shin, Domenico Bianculli, Lionel C. Briand

Empir. Softw. Eng., 2022

Correction to: Can Offline Testing of Deep Neural Networks Replace Their Online Testing?

Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand

Empir. Softw. Eng., 2022

Rigorous Assessment of Model Inference Accuracy using Language Cardinality.

Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli

CoRR, 2022

Literature Review to Collect Conceptual Variables of Scenario Methods for Establishing a Conceptual Scenario Framework.

Young Min Baek, Esther Cho, Donghwan Shin, Doo-Hwan Bae

CoRR, 2022

Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification.

Yong-Jun Shin, Donghwan Shin, Doo-Hwan Bae

CoRR, 2022

Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques.

Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel C. Briand

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Efficient Online Testing for DNN-Enabled Systems using Surrogate-Assisted and Many-Objective Optimization.

Fitash Ul Haq, Donghwan Shin, Lionel C. Briand

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Can Offline Testing of Deep Neural Networks Replace Their Online Testing?

Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel Claude Briand

Empir. Softw. Eng., 2021

A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection.

Donghwan Shin, Zanis Ali Khan, Domenico Bianculli, Lionel C. Briand

Proceedings of the Runtime Verification - 21st International Conference, 2021

Log-based slicing for system-level test cases.

Salma Messaoudi, Donghwan Shin, Annibale Panichella, Domenico Bianculli, Lionel C. Briand

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Automatic test suite generation for key-points detection DNNs using many-objective search (experience paper).

Fitash Ul Haq, Donghwan Shin, Lionel C. Briand, Thomas Stifter, Jun Wang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators.

Markus Borg, Raja Ben Abdessalem, Shiva Nejati, François-Xavier Jegeden, Donghwan Shin

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2020

Automatic Test Suite Generation for Key-points Detection DNNs Using Many-Objective Search.

Fitash Ul Haq, Donghwan Shin, Lionel C. Briand, Thomas Stifter, Jun Wang

CoRR, 2020

Effective Removal of Operational Log Messages: an Application to Model Inference.

Donghwan Shin, Domenico Bianculli, Lionel C. Briand

CoRR, 2020

Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study.

Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Empirical evaluation of mutation-based test case prioritization techniques.

Donghwan Shin, Shin Yoo, Mike Papadakis, Doo-Hwan Bae

Softw. Test. Verification Reliab., 2019

Scalable Inference of System-level Models from Component Logs.

Donghwan Shin, Salma Messaoudi, Domenico Bianculli, Annibale Panichella, Lionel C. Briand, Raimondas Sasnauskas

CoRR, 2019

2018

A Theoretical and Empirical Study of Diversity-Aware Mutation Adequacy Criterion.

Donghwan Shin, Shin Yoo, Doo-Hwan Bae

IEEE Trans. Software Eng., 2018

ABC⁺: extended action-benefit-cost modeling with knowledge-based decision-making and interaction model for system of systems simulation.

Mingyu Jin, Donghwan Shin, Doo-Hwan Bae

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Are mutation scores correlated with real fault detection?: a large scale empirical study on the relationship between mutants and real faults.

Mike Papadakis, Donghwan Shin, Shin Yoo, Doo-Hwan Bae

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Empirical Evaluation of Mutation-based Test Prioritization Techniques.

Donghwan Shin, Shin Yoo, Mike Papadakis, Doo-Hwan Bae

CoRR, 2017

Mutation Analysis for System of Systems Policy Testing.

Wonkyung Yun, Donghwan Shin, Doo-Hwan Bae

Proceedings of the 2017 IEEE/ACM Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, 2017

2016

Comprehensive analysis of FBD test coverage criteria using mutants.

Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae

Softw. Syst. Model., 2016

Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability.

Donghwan Shin, Shin Yoo, Doo-Hwan Bae

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

A Theoretical Framework for Understanding Mutation-Based Testing Methods.

Donghwan Shin, Doo-Hwan Bae

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Modeling and verification for different types of system of systems using PRISM.

Dongwon Seo, Donghwan Shin, Young Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems, 2016

A runtime verification framework for dynamically adaptive multi-agent systems.

Yoo Jin Lim, Gwangui Hong, Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the 2016 International Conference on Big Data and Smart Computing, 2016

2015

Human Resource Allocation in Software Project with Practical Considerations.

Jihun Park, Dongwon Seo, Gwangui Hong, Donghwan Shin, Jimin Hwa, Doo-Hwan Bae

Int. J. Softw. Eng. Knowl. Eng., 2015

Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems.

Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Quality Based Software Project Staffing and Scheduling with Cost Bound.

Dongwon Seo, Donghwan Shin, Doo-Hwan Bae

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

Quality Based Software Project Staffing and Scheduling with Budget and Deadline.

Dongwon Seo, Donghwan Shin, Doo-Hwan Bae

Proceedings of the Joint Proceedings of the 3rd International Workshop on Quantitative Approaches to Software Quality (QuASoQ), 2015

2014

Automated test case generation for FBD programs implementing reactor protection system software.

Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae

Softw. Test. Verification Reliab., 2014

Practical Human Resource Allocation in Software Projects Using Genetic Algorithm.

Jihun Park, Dongwon Seo, Gwangui Hong, Donghwan Shin, Jimin Hwa, Doo-Hwan Bae

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

2012

Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis.

Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the Model Driven Engineering Languages and Systems, 2012