Yuji Sato. Specification-based Test Case Generation with Constrained Genetic Programming. In 20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Macau, China, December 11-14, 2020. pages 98-103, IEEE, 2020. [doi]
Abstract is missing.