PET: A Partial Evaluationbased Test Case Generation Tool for Java Bytecode (0)

by E Albert, M Gómez-Zamalloa, G Puebla
Venue:In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM