Specification-based Test Case Generation for C++ Engineering Software

Peter Hamberger, Claus Klammer, Thomas Luger, Michael Moser, Michael Pfeiffer 0005, Christina Piereder. Specification-based Test Case Generation for C++ Engineering Software. In IEEE International Conference on Software Maintenance and Evolution, ICSME 2023, Bogotá, Colombia, October 1-6, 2023. pages 519-529, IEEE, 2023. [doi]

Abstract

Abstract is missing.