Donghwan Shin

Orcid: 0000-0002-0840-6449

Affiliations:
  • University of Luxembourg
  • KAIST, Daejeon, Republic of Korea (PhD 2018)


According to our database1, Donghwan Shin authored at least 47 papers between 2012 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Impact of log parsing on deep learning-based anomaly detection.
Empir. Softw. Eng., November, 2024

Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction.
Empir. Softw. Eng., September, 2024

Rigorous Assessment of Model Inference Accuracy using Language Cardinality.
ACM Trans. Softw. Eng. Methodol., May, 2024

Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning.
ACM Trans. Embed. Comput. Syst., January, 2024

An Extensible Modeling Method Supporting Ontology-Based Scenario Specification and Domain-Specific Extension.
Int. J. Softw. Eng. Knowl. Eng., January, 2024

Toward Automated Compliance Checking of Fund Activities Using Runtime Verification Techniques.
Proceedings of the 1st IEEE/ACM Workshop on Software Engineering Challenges in Financial Firms, 2024

Mutation-based Consistency Testing for Evaluating the Code Understanding Capability of LLMs.
Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering, 2024

2023
Identifying the Hazard Boundary of ML-Enabled Autonomous Systems Using Cooperative Coevolutionary Search.
IEEE Trans. Software Eng., December, 2023

Impact of Log Parsing on Log-based Anomaly Detection.
CoRR, 2023

Systematic Evaluation of Deep Learning Models for Failure Prediction.
CoRR, 2023

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

Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Towards Log Slicing.
Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022
Replication package for "Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques".
Dataset, January, 2022

PRINS: scalable model inference for component-based system logs.
Empir. Softw. Eng., 2022

Correction to: Can Offline Testing of Deep Neural Networks Replace Their Online Testing?
Empir. Softw. Eng., 2022

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

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

Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques.
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.
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?
Empir. Softw. Eng., 2021

A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection.
Proceedings of the Runtime Verification - 21st International Conference, 2021

Log-based slicing for system-level test cases.
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).
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.
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.
CoRR, 2020

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

Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019
Empirical evaluation of mutation-based test case prioritization techniques.
Softw. Test. Verification Reliab., 2019

Scalable Inference of System-level Models from Component Logs.
CoRR, 2019

2018
A Theoretical and Empirical Study of Diversity-Aware Mutation Adequacy Criterion.
IEEE Trans. Software Eng., 2018

ABC<sup>+</sup>: 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, 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, 2018

2017
Empirical Evaluation of Mutation-based Test Prioritization Techniques.
CoRR, 2017

Mutation Analysis for System of Systems Policy Testing.
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.
Softw. Syst. Model., 2016

Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

A Theoretical Framework for Understanding Mutation-Based Testing Methods.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Modeling and verification for different types of system of systems using PRISM.
Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems, 2016

A runtime verification framework for dynamically adaptive multi-agent systems.
Proceedings of the 2016 International Conference on Big Data and Smart Computing, 2016

2015
Human Resource Allocation in Software Project with Practical Considerations.
Int. J. Softw. Eng. Knowl. Eng., 2015

Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Quality Based Software Project Staffing and Scheduling with Cost Bound.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

Quality Based Software Project Staffing and Scheduling with Budget and Deadline.
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.
Softw. Test. Verification Reliab., 2014

Practical Human Resource Allocation in Software Projects Using Genetic Algorithm.
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.
Proceedings of the Model Driven Engineering Languages and Systems, 2012


  Loading...