Miguel Gómez-Zamalloa

52 papers A 2B 8C 16Journal 17Unranked 9

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