Heap space analysis for java bytecode. - Elvira Albert; Samir Genaim; Miguel Gómez-Zamalloa (ISMM, 2007)

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

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

Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. - Miguel Gómez-Zamalloa; Elvira Albert; Germán Puebla (Bytecode@ETAPS, 2007)

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

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

Live heap space analysis for languages with garbage collection. - Elvira Albert; Samir Genaim; Miguel Gómez-Zamalloa (ISMM, 2009)

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

Termination and Cost Analysis with COSTA and its User Interfaces. - Elvira Albert; Puri Arenas; Samir Genaim; Miguel Gómez-Zamalloa; German Puebla; Diana V. Ramírez-Deantes; Guillermo Román-Díez; Damiano Zanardini (PROLE, 2009)

Decompilation of Java bytecode to Prolog by partial evaluation. - Miguel Gómez-Zamalloa; Elvira Albert; Germán Puebla (Inf. Softw. Technol., 2009)

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

Parametric inference of memory requirements for garbage collected languages. - Elvira Albert; Samir Genaim; Miguel Gómez-Zamalloa (ISMM, 2010)

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

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

Test case generation for object-oriented imperative languages in CLP. - Miguel Gómez-Zamalloa; Elvira Albert; Germán Puebla (Theory Pract. Log. Program., 2010)

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

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

Resource-Driven CLP-Based Test Case Generation. - Elvira Albert; Miguel Gómez-Zamalloa; José Miguel Rojas (LOPSTR, 2011)

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

Automatic Inference of Bounds on Resource Consumption. - Elvira Albert; Diego Esteban Alonso-Blas; Puri Arenas; Jesús Correas; Antonio Flores-Montoya; Samir Genaim; Miguel Gómez-Zamalloa; Abu Naser Masud; German Puebla; José Miguel Rojas; Guillermo Román-Díez; Damiano Zanardini (FMCO, 2012)

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

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

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

Symbolic Execution of Concurrent Objects in CLP. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa (PADL, 2012)

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

aPET: a test case generation tool for concurrent objects. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa; Peter Y. H. Wong (ESEC/SIGSOFT FSE, 2013)

Heap space analysis for garbage collected languages. - Elvira Albert; Samir Genaim; Miguel Gómez-Zamalloa (Sci. Comput. Program., 2013)

A CLP heap solver for test case generation. - Elvira Albert; Maria J. García de la Banda; Miguel Gómez-Zamalloa; José Miguel Rojas; Peter J. Stuckey (Theory Pract. Log. Program., 2013)

Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa (FORTE, 2014)

Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa; José Miguel Rojas (SFM, 2014)

SACO: Static Analyzer for Concurrent Objects. - Elvira Albert; Puri Arenas; Antonio Flores-Montoya; Samir Genaim; Miguel Gómez-Zamalloa; Enrique Martin-Martin; German Puebla; Guillermo Román-Díez (TACAS, 2014)

Selected and extended papers from Bytecode 2013. - Miguel Gómez-Zamalloa; Germán Puebla (Sci. Comput. Program., 2014)

Test Case Generation of Actor Systems. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa (ATVA, 2015)

Resource Analysis: From Sequential to Concurrent and Distributed Programs. - Elvira Albert; Puri Arenas; Jesús Correas; Samir Genaim; Miguel Gómez-Zamalloa; Enrique Martin-Martin; Germán Puebla; Guillermo Román-Díez (FM, 2015)

Testing abstract behavioral specifications. - Peter Y. H. Wong; Richard Bubel; Frank S. de Boer; Miguel Gómez-Zamalloa; Stijn de Gouw; Reiner Hähnle; Karl Meinke; Muddassar Azam Sindhu (Int. J. Softw. Tools Technol. Transf., 2015)

Object-sensitive cost analysis for concurrent objects. - Elvira Albert; Puri Arenas; Jesús Correas Fernández; Samir Genaim; Miguel Gómez-Zamalloa; Germán Puebla; Guillermo Román-Díez (Softw. Test. Verification Reliab., 2015)

SYCO: a systematic testing tool for concurrent objects. - Elvira Albert; Miguel Gómez-Zamalloa; Miguel Isabel (CC, 2016)

Combining Static Analysis and Testing for Deadlock Detection. - Elvira Albert; Miguel Gómez-Zamalloa; Miguel Isabel (IFM, 2016)

Testing of concurrent and imperative software using CLP. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa (PPDP, 2016)

Context-Sensitive Dynamic Partial Order Reduction. - Elvira Albert; Puri Arenas; Maria Garcia de la Banda; Miguel Gómez-Zamalloa; Peter J. Stuckey (CAV (1), 2017)

Generation of Initial Contexts for Effective Deadlock Detection. - Elvira Albert; Miguel Gómez-Zamalloa; Miguel Isabel (LOPSTR, 2017)

Constrained Dynamic Partial Order Reduction. - Elvira Albert; Miguel Gómez-Zamalloa; Miguel Isabel; Albert Rubio (CAV (2), 2018)

SDN-Actors: Modeling and Verification of SDN Programs. - Elvira Albert; Miguel Gómez-Zamalloa; Albert Rubio; Matteo Sammartino; Alexandra Silva 001 (FM, 2018)

Systematic testing of actor systems. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa (Softw. Test. Verification Reliab., 2018)

Optimal context-sensitive dynamic partial order reduction with observers. - Elvira Albert; Maria Garcia de la Banda; Miguel Gómez-Zamalloa; Miguel Isabel; Peter J. Stuckey (ISSTA, 2019)

Actor-Based Model Checking for SDN Networks. - Elvira Albert; Miguel Gómez-Zamalloa; Miguel Isabel; Albert Rubio; Matteo Sammartino; Alexandra Silva 001 (CoRR, 2020)

Deadlock-Guided Testing. - Miguel Gómez-Zamalloa; Miguel Isabel (IEEE Access, 2021)

Actor-based model checking for Software-Defined Networks. - Elvira Albert; Miguel Gómez-Zamalloa; Miguel Isabel; Albert Rubio; Matteo Sammartino; Alexandra Silva 001 (J. Log. Algebraic Methods Program., 2021)

Optimal dynamic partial order reduction with context-sensitive independence and observers. - Elvira Albert; Maria Garcia de la Banda; Miguel Gómez-Zamalloa; Miguel Isabel; Peter J. Stuckey (J. Syst. Softw., 2023)