Miguel Gómez-Zamalloa

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa: Towards Testing Concurrent Objects in CLP. ICLP (Technical Communications) 2012: 98-108

José Miguel Rojas, Miguel Gómez-Zamalloa: A Framework for Guided Test Case Generation in Constraint Logic Programming. LOPSTR 2012: 176-193

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla: Automatic Inference of Resource Consumption Bounds. LPAR 2012: 1-11

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa: Symbolic Execution of Concurrent Objects in CLP. PADL 2012: 123-137

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla: COSTABS: a cost and termination analyzer for ABS. PEPM 2012: 151-154

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla: Cost Analysis of Concurrent OO Programs. APLAS 2011: 238-254

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: Simulating Concurrent Behaviors with Worst-Case Cost Bounds. FM 2011: 353-368

Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas: Resource-Driven CLP-Based Test Case Generation. LOPSTR 2011: 25-41

Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez: jPET: An Automatic Test-Case Generator for Java. WCRE 2011: 441-442

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Test case generation for object-oriented imperative languages in CLP. TPLP 10(4-6): 659-674 (2010)

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa: Parametric inference of memory requirements for garbage collected languages. ISMM 2010: 121-130

Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla: Compositional CLP-Based Test Data Generation for Imperative Languages. LOPSTR 2010: 99-116

Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla: PET: a partial evaluation-based test case generation tool for Java bytecode. PEPM 2010: 25-28

Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla: Verification of Java Bytecode using Analysis and Transformation of Logic Programs. CoRR abs/1007.3250 (2010)

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Test Case Generation for Object-Oriented Imperative Languages in CLP. CoRR abs/1007.5195 (2010)

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini: Termination and Cost Analysis with COSTA and its User Interfaces. Electr. Notes Theor. Comput. Sci. 258(1): 109-121 (2009)

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Decompilation of Java bytecode to Prolog by partial evaluation. Information & Software Technology 51(10): 1409-1427 (2009)

Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla: Type-based homeomorphic embedding for online termination. Inf. Process. Lett. 109(15): 879-886 (2009)

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa: Live heap space analysis for languages with garbage collection. ISMM 2009: 129-138

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: On the Generation of Test Data for Prolog by Partial Evaluation. CoRR abs/0903.2199 (2009)

Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla: Test Data Generation of Bytecode by CLP Partial Evaluation. LOPSTR 2008: 4-23

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Modular Decompilation of Low-Level Code by Partial Evaluation. SCAM 2008: 239-248

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. Electr. Notes Theor. Comput. Sci. 190(1): 85-101 (2007)

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa: Heap space analysis for java bytecode. ISMM 2007: 105-116

Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla: Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. LOPSTR 2007: 23-42

Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla: Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. PADL 2007: 124-139