Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla. PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode. In John P. Gallagher, Janis Voigtländer, editors, Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation. ACM,
Abstract is missing.