PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode (2010)

by E Albert, M Gómez-Zamalloa, G Puebla
Venue:In Proc. of. PEPM’10