팔로우
Donghwan Shin
제목
인용
인용
연도
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
852018
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
442014
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
362020
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
302017
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
292019
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
282012
A theoretical framework for understanding mutation-based testing methods
D Shin, DH Bae
2016 IEEE International Conference on Software Testing, Verification and …, 2016
272016
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
202016
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
202015
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
182019
Comprehensive analysis of FBD test coverage criteria using mutants
D Shin, E Jee, DH Bae
Software & Systems Modeling 15 (3), 631-645, 2016
182016
Practical Human Resource Allocation in Software Projects Using Genetic Algorithm
J Park, D Seo, G Hong, D Shin, J Hwa, DH Bae
162014
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
122021
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
122016
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
92016
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
72021
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
62015
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
52017
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
42018
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
32021
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20