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

by Elvira Albert, Miguel Gómez-zamalloa, Germán Puebla
Venue:In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM