Miguel Gómez-Zamalloa

According to our database, Miguel Gómez-Zamalloa authored at least 49 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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., August, 2023

2021

Actor-based model checking for Software-Defined Networks.

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva

J. Log. Algebraic Methods Program., 2021

Deadlock-Guided Testing.

Miguel Gómez-Zamalloa, Miguel Isabel

IEEE Access, 2021

2020

Actor-Based Model Checking for SDN Networks.

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva

CoRR, 2020

2019

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

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018

Systematic testing of actor systems.

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa

Softw. Test. Verification Reliab., 2018

SDN-Actors: Modeling and Verification of SDN Programs.

Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Constrained Dynamic Partial Order Reduction.

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Generation of Initial Contexts for Effective Deadlock Detection.

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

Context-Sensitive Dynamic Partial Order Reduction.

Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Testing of concurrent and imperative software using CLP.

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Combining Static Analysis and Testing for Deadlock Detection.

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

SYCO: a systematic testing tool for concurrent objects.

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel

Proceedings of the 25th International Conference on Compiler Construction, 2016

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

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

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

Proceedings of the FM 2015: Formal Methods, 2015

Test Case Generation of Actor Systems.

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Selected and extended papers from Bytecode 2013.

Miguel Gómez-Zamalloa, Germán Puebla

Sci. Comput. Program., 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Proceedings of the Formal Methods for Executable Software Models, 2014

Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing.

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

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

Heap space analysis for garbage collected languages.

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa

Sci. Comput. Program., 2013

aPET: a test case generation tool for concurrent objects.

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

COSTABS: a cost and termination analyzer for ABS.

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Symbolic Execution of Concurrent Objects in CLP.

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa

Proceedings of the Practical Aspects of Declarative Languages, 2012

Automatic Inference of Resource Consumption Bounds.

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

A Framework for Guided Test Case Generation in Constraint Logic Programming.

José Miguel Rojas, Miguel Gómez-Zamalloa

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

Towards Testing Concurrent Objects in CLP.

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

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

Proceedings of the Formal Methods for Components and Objects, 2012

2011

jPET: An Automatic Test-Case Generator for Java.

Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez

Proceedings of the 18th Working Conference on Reverse Engineering, 2011

Resource-Driven CLP-Based Test Case Generation.

Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas

Proceedings of the Logic-Based Program Synthesis and Transformation, 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

Proceedings of the FM 2011: Formal Methods, 2011

Cost Analysis of Concurrent OO Programs.

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

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

PET: a partial evaluation-based test case generation tool for Java bytecode.

Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Compositional CLP-Based Test Data Generation for Imperative Languages.

Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

Parametric inference of memory requirements for garbage collected languages.

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa

Proceedings of the 9th International Symposium on Memory Management, 2010

2009

Type-based homeomorphic embedding for online termination.

Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla

Inf. Process. Lett., 2009

Decompilation of Java bytecode to Prolog by partial evaluation.

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla

Inf. Softw. Technol., 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

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009

On the Generation of Test Data for Prolog by Partial Evaluation

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla

CoRR, 2009

Live heap space analysis for languages with garbage collection.

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa

Proceedings of the 8th International Symposium on Memory Management, 2009

2008

Modular Decompilation of Low-Level Code by Partial Evaluation.

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Test Data Generation of Bytecode by CLP Partial Evaluation.

Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

2007

Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation.

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla

Proceedings of the Second Workshop on Bytecode Semantics, 2007

Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.

Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation.

Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

Heap space analysis for java bytecode.

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa

Proceedings of the 6th International Symposium on Memory Management, 2007