The following publications are possibly variants of this publication:
- PET: a partial evaluation-based test case generation tool for Java bytecodeElvira Albert, Miguel Gómez-Zamalloa, Germán Puebla. PEPM 2010: 25-28 [doi]
- Decompilation of Java bytecode to Prolog by partial evaluationMiguel Gómez-Zamalloa, Elvira Albert, Germán Puebla. INFSOF, 51(10):1409-1427, 2009. [doi]
- Test Data Generation of Bytecode by CLP Partial EvaluationElvira Albert, Miguel Gómez-Zamalloa, Germán Puebla. LOPSTR 2009: 4-23 [doi]
- Improving the Decompilation of Java Bytecode to Prolog by Partial EvaluationMiguel Gómez-Zamalloa, Elvira Albert, Germán Puebla. ENTCS, 190(1):85-101, 2007. [doi]