Specification-based Test Case Generation with Constrained Genetic Programming | IEEE Conference Publication | IEEE Xplore