| Are mutation scores correlated with real fault detection? a large scale empirical study on the relationship between mutants and real faults M Papadakis, D Shin, S Yoo, DH Bae 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE …, 2018 | 85 | 2018 |
| Automated test case generation for FBD programs implementing reactor protection system software E Jee, D Shin, S Cha, JS Lee, DH Bae Software Testing, Verification and Reliability 24 (8), 608-628, 2014 | 44 | 2014 |
| Comparing offline and online testing of deep neural networks: An autonomous car case study FU Haq, D Shin, S Nejati, LC Briand 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020 | 36 | 2020 |
| A theoretical and empirical study of diversity-aware mutation adequacy criterion D Shin, S Yoo, DH Bae IEEE Transactions on Software Engineering 44 (10), 914-931, 2017 | 30 | 2017 |
| Empirical evaluation of mutation‐based test case prioritization techniques D Shin, S Yoo, M Papadakis, DH Bae Software Testing, Verification and Reliability 29 (1-2), e1695, 2019 | 29 | 2019 |
| Empirical evaluation on FBD model-based test coverage criteria using mutation analysis D Shin, E Jee, DH Bae International Conference on Model Driven Engineering Languages and Systems …, 2012 | 28 | 2012 |
| A theoretical framework for understanding mutation-based testing methods D Shin, DH Bae 2016 IEEE International Conference on Software Testing, Verification and …, 2016 | 27 | 2016 |
| Modeling and verification for different types of system of systems using prism D Seo, D Shin, YM Baek, J Song, W Yun, J Kim, E Jee, DH Bae 2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems …, 2016 | 20 | 2016 |
| Human resource allocation in software project with practical considerations J Park, D Seo, G Hong, D Shin, J Hwa, DH Bae International Journal of Software Engineering and Knowledge Engineering 25 …, 2015 | 20 | 2015 |
| Formal modeling and verification of a federated byzantine agreement algorithm for blockchain platforms J Yoo, Y Jung, D Shin, M Bae, E Jee 2019 IEEE International Workshop on Blockchain Oriented Software Engineering …, 2019 | 18 | 2019 |
| Comprehensive analysis of FBD test coverage criteria using mutants D Shin, E Jee, DH Bae Software & Systems Modeling 15 (3), 631-645, 2016 | 18 | 2016 |
| Practical Human Resource Allocation in Software Projects Using Genetic Algorithm J Park, D Seo, G Hong, D Shin, J Hwa, DH Bae | 16 | 2014 |
| Digital twins are not monozygotic–cross-replicating adas testing in two industry-grade automotive simulators M Borg, RB Abdessalem, S Nejati, FX Jegeden, D Shin 2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021 | 12 | 2021 |
| A runtime verification framework for dynamically adaptive multi-agent systems YJ Lim, G Hong, D Shin, E Jee, DH Bae 2016 International Conference on Big Data and Smart Computing (BigComp), 509-512, 2016 | 12 | 2016 |
| Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability D Shin, S Yoo, DH Bae 2016 IEEE Ninth International Conference on Software Testing, Verification …, 2016 | 9 | 2016 |
| Automatic test suite generation for key-points detection dnns using many-objective search (experience paper) FU Haq, D Shin, LC Briand, T Stifter, J Wang Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 7 | 2021 |
| Efficient testing of self-adaptive behaviors in collective adaptive systems YJ Lim, E Jee, D Shin, DH Bae 2015 IEEE 39th Annual Computer Software and Applications Conference 2, 216-221, 2015 | 6 | 2015 |
| Mutation analysis for system of systems policy testing W Yun, D Shin, DH Bae 2017 IEEE/ACM Joint 5th International Workshop on Software Engineering for …, 2017 | 5 | 2017 |
| ABC+ extended action-benefit-cost modeling with knowledge-based decision-making and interaction model for system of systems simulation M Jin, D Shin, DH Bae Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1698-1701, 2018 | 4 | 2018 |
| Log-based slicing for system-level test cases S Messaoudi, D Shin, A Panichella, D Bianculli, LC Briand Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 3 | 2021 |
Doo-Hwan BaeKAISTse.kaist.ac.kr의 이메일 확인됨
