Items where authors include "Bae, D.-H."

Article

Shin, Y.-J., Shin, D. orcid.org/0000-0002-0840-6449 and Bae, D.-H. (2024) Virtual environment model generation for CPS goal verification using imitation learning. ACM Transactions on Embedded Computing Systems, 23 (1). 13. pp. 1-29. ISSN 1539-9087

Baek, Y.-M. orcid.org/0000-0002-9796-3756, Cho, E., Shin, D. orcid.org/0000-0002-0840-6449 et al. (1 more author) (2024) An extensible modeling method supporting ontology-based scenario specification and domain-specific extension. International Journal of Software Engineering and Knowledge Engineering, 34 (1). pp. 91-162. ISSN 0218-1940

Proceedings Paper

Shin, D. orcid.org/0000-0002-0840-6449, Yoo, S. and Bae, D.-H. (2016) Diversity-aware mutation adequacy criterion for improving fault detection capability. In: 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 11-15 Apr 2016, Chicago, IL, USA. Institute of Electrical and Electronics Engineers (IEEE) , pp. 122-131. ISBN 9781509036752

Shin, D. orcid.org/0000-0002-0840-6449 and Bae, D.-H. (2016) A theoretical framework for understanding mutation-based testing methods. In: 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST). 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), 11-15 Apr 2016, Chicago, IL, USA. Institute of Electrical and Electronics Engineers (IEEE) , pp. 299-308. ISBN 9781509018260