PET: Partial Evaluation-based Test Case Generator for Bytecode
The PET system is a collaborative effort of a number of people, including:
Core Contributors: Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla and José Miguel Rojas
Other Contributors: Antonio Flores, Israel Cabañas, Sergio Gutierrez, John Gallagher, Laurent Hubert, Gonzalo Ortiz, Fernando Rodriguez and Jaime Saez
Supporting Research Projects

The work in the PET system is funded in part by the IST program of the European Commission, Future and Emerging Technologies under the IST-15905 MOBIUS and IST-231620 HATS projects, by the Spanish Ministry of Education (MEC) under the TIN-2005-09207 MERIT and TIN-2008-05624 DOVES projects, and the Madrid Regional Government under the S-0505/TIC/0407 PROMESAS project.
Journal Publications :

  1. M. Gómez-Zamalloa, E. Albert, and G. Puebla. Test Case Generation for Object-Oriented Imperative Languages in CLP. 26th International Conference on Logic Programming (ICLP'10) special issue, Theory and Practice of Logic Programming, Vol. 10 (4-6), Pages 659-674, ISSN 1471-0684, Cambridge U. Press, July 2010.

  2. M. Gómez-Zamalloa, E. Albert, and G. Puebla. Decompilation of Java Bytecode to Prolog by Partial Evaluation. Journal of Information and Software Technology. Vol. 51, pages 1409-1427, Elsevier, October 2009.

  3. E. Albert, J. Gallagher, M. Gómez-Zamalloa, and G. Puebla. Type-based Homeomorphic Embedding for Online Termination. Information Processing Letters, Vol. 109, pages 879-886, Elsevier, July 2009.

Conference Publications :

  1. E. Albert, I. Cabanas, A. Flores, M. Gómez-Zamalloa, and S. Gutierrez. jPET: an Automatic Test-Case Generator for Java. 18th Working Conference on Reverse Engineering (WCRE 2011), IEEE Computer Society, October 2011. To appear.

  2. E. Albert, M. Gómez-Zamalloa, and J.M. Rojas. Towards Resource-driven CLP-based Test Case Generation. 21th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), University of Southern Denmark, 2011.

  3. E. Albert, M. Gómez-Zamalloa, J.M. Rojas, and G. Puebla. Compositional CLP-based Test Data Generation for Imperative Languages. 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010) Revised Selected Papers, LNCS 6564, Pages 99-116, Springer-Verlag, 2011.

  4. E. Albert, M. Gómez-Zamalloa, and G. Puebla. PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM), ACM Press, 25-28, January 2010.

  5. E. Albert, M. Gómez-Zamalloa, and G. Puebla. Test Data Generation of Bytecode by CLP Partial Evaluation. 18th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'08), LNCS, Num. 5438, pages 4-23, Springer-Verlag, March 2009.

  6. E. Albert, J. Gallagher, M. Gómez-Zamalloa, and G. Puebla. Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation. 7th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'07), LNCS, Vol. 4915, pages 23-42, Springer-Verlag, February 2008.

  7. M. Gómez-Zamalloa, E. Albert, and G. Puebla. Modular Decompilation of Low-Level Code by Partial Evaluation. 8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'08), pages 239-248, IEEE Computer Society, September 2008.

  8. E. Albert, M. Gómez-Zamalloa, L. Hubert, and G. Puebla. Verification of Java Bytecode using Analysis and Transformation of Logic Programs. Ninth International Symposium on Practical Aspects of Declarative Languages, LNCS, Num. 4354, pages 124-139, Springer-Verlag, January 2007.

Workshop Publications :

  1. M. Gómez-Zamalloa, E. Albert, and G. Puebla. On the Generation of Test Data for Prolog by Partial Evaluation. Workshop on Logic-based methods in Programming Environments (WLPE'08),pages 26-43, 2008. Report number: WLPE/2008/06.

PET - version 0.2