Donghwan Shin
Orcid: 0000-0002-0840-6449Affiliations:
- 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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on wwwde.uni.lu
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Empir. Softw. Eng., November, 2024
Empir. Softw. Eng., September, 2024
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
Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search.
CoRR, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
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
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
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
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
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
Softw. Test. Verification Reliab., 2019
2018
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
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
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
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016
Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems, 2016
Proceedings of the 2016 International Conference on Big Data and Smart Computing, 2016
2015
Int. J. Softw. Eng. Knowl. Eng., 2015
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015
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