Miguel Gómez-Zamalloa

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 14

Top Topics

Objects Represented

Test Case Generation

Deadlock Detection

Top Venues

Softw. Test. Verification Reliab.

Sci. Comput. Program.

Publications

Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey
Optimal dynamic partial order reduction with context-sensitive independence and observers. J. Syst. Softw. 202 (2023)
Miguel Gómez-Zamalloa, Miguel Isabel
Deadlock-Guided Testing. IEEE Access 9 (2021)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva
Actor-based model checking for Software-Defined Networks. J. Log. Algebraic Methods Program. 118 (2021)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva
Actor-Based Model Checking for SDN Networks. CoRR (2020)
Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey
Optimal context-sensitive dynamic partial order reduction with observers. ISSTA (2019)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio
Constrained Dynamic Partial Order Reduction. CAV (2) (2018)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
Systematic testing of actor systems. Softw. Test. Verification Reliab. 28 (3) (2018)
Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva
SDN-Actors: Modeling and Verification of SDN Programs. FM (2018)
Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey
Context-Sensitive Dynamic Partial Order Reduction. CAV (1) (2017)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel
Generation of Initial Contexts for Effective Deadlock Detection. LOPSTR (2017)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel
On the Generation of Initial Contexts for Effective Deadlock Detection. CoRR (2017)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel
Combining Static Analysis and Testing for Deadlock Detection. IFM (2016)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel
SYCO: a systematic testing tool for concurrent objects. CC (2016)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
Testing of concurrent and imperative software using CLP. PPDP (2016)
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
Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. 17 (1) (2015)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
Test Case Generation of Actor Systems. ATVA (2015)
Elvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez
Object-sensitive cost analysis for concurrent objects. Softw. Test. Verification Reliab. 25 (3) (2015)
Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez
Resource Analysis: From Sequential to Concurrent and Distributed Programs. FM (2015)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. FORTE (2014)
Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez
SACO: Static Analyzer for Concurrent Objects. TACAS (2014)
Miguel Gómez-Zamalloa, Germán Puebla
Selected and extended papers from Bytecode 2013. Sci. Comput. Program. 95 (2014)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, José Miguel Rojas
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency. SFM (2014)
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa
Heap space analysis for garbage collected languages. Sci. Comput. Program. 78 (9) (2013)
Elvira Albert, Maria J. García de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, Peter J. Stuckey
A CLP heap solver for test case generation. Theory Pract. Log. Program. 13 (4-5) (2013)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong
aPET: a test case generation tool for concurrent objects. ESEC/SIGSOFT FSE (2013)
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
Automatic Inference of Bounds on Resource Consumption. FMCO (2012)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
Symbolic Execution of Concurrent Objects in CLP. PADL (2012)
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla
COSTABS: a cost and termination analyzer for ABS. PEPM (2012)
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla
Automatic Inference of Resource Consumption Bounds. LPAR (2012)
José Miguel Rojas, Miguel Gómez-Zamalloa
A Framework for Guided Test Case Generation in Constraint Logic Programming. LOPSTR (2012)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
Towards Testing Concurrent Objects in CLP. ICLP (Technical Communications) (2012)
Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas
Resource-Driven CLP-Based Test Case Generation. LOPSTR (2011)
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla
Cost Analysis of Concurrent OO Programs. APLAS (2011)
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)
Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez
jPET: An Automatic Test-Case Generator for Java. WCRE (2011)
Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
Test case generation for object-oriented imperative languages in CLP. Theory Pract. Log. Program. 10 (4-6) (2010)
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla
PET: a partial evaluation-based test case generation tool for Java bytecode. PEPM (2010)
Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla
Compositional CLP-Based Test Data Generation for Imperative Languages. LOPSTR (2010)
Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
Test Case Generation for Object-Oriented Imperative Languages in CLP CoRR (2010)
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa
Parametric inference of memory requirements for garbage collected languages. ISMM (2010)
Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla
Verification of Java Bytecode using Analysis and Transformation of Logic Programs CoRR (2010)
Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
On the Generation of Test Data for Prolog by Partial Evaluation CoRR (2009)
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. Electron. Notes Theor. Comput. Sci. 258 (1) (2009)
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa
Live heap space analysis for languages with garbage collection. ISMM (2009)
Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
Decompilation of Java bytecode to Prolog by partial evaluation. Inf. Softw. Technol. 51 (10) (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) (2009)
Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
Modular Decompilation of Low-Level Code by Partial Evaluation. SCAM (2008)
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla
Test Data Generation of Bytecode by CLP Partial Evaluation. LOPSTR (2008)
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)
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa
Heap space analysis for java bytecode. ISMM (2007)
Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. Electron. Notes Theor. Comput. Sci. 190 (1) (2007)
Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. PADL (2007)