The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Miguel Gómez-Zamalloa" ( http://dblp.L3S.de/Authors/Miguel_Gómez-Zamalloa )

  Author page on DBLP  Author page in RDF  Community of Miguel Gómez-Zamalloa in ASPL-2

Publication years (Num. hits)
2007-2010 (17) 2011-2014 (17) 2015-2019 (14)
Publication types (Num. hits)
article(15) inproceedings(33)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 8 keywords

Results
Found 49 publication records. Showing 48 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey Optimal context-sensitive dynamic partial order reduction with observers. Search on Bibsonomy ISSTA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa Systematic testing of actor systems. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio Constrained Dynamic Partial Order Reduction. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva 0001 SDN-Actors: Modeling and Verification of SDN Programs. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel On the Generation of Initial Contexts for Effective Deadlock Detection. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey Context-Sensitive Dynamic Partial Order Reduction. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel Generation of Initial Contexts for Effective Deadlock Detection. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel SYCO: a systematic testing tool for concurrent objects. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel Combining Static Analysis and Testing for Deadlock Detection. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa Testing of concurrent and imperative software using CLP. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter 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. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira 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. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira 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. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa Test Case Generation of Actor Systems. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miguel Gómez-Zamalloa, Germán Puebla Selected and extended papers from Bytecode 2013. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira 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. Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira 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. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa Heap space analysis for garbage collected languages. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elvira 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. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong aPET: a test case generation tool for concurrent objects. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa Symbolic Execution of Concurrent Objects in CLP. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla Automatic Inference of Resource Consumption Bounds. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla COSTABS: a cost and termination analyzer for ABS. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa Towards Testing Concurrent Objects in CLP. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira 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. Search on Bibsonomy FMCO The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1José Miguel Rojas, Miguel Gómez-Zamalloa A Framework for Guided Test Case Generation in Constraint Logic Programming. Search on Bibsonomy LOPSTR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa Simulating Concurrent Behaviors with Worst-Case Cost Bounds. Search on Bibsonomy FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez jPET: An Automatic Test-Case Generator for Java. Search on Bibsonomy WCRE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla Cost Analysis of Concurrent OO Programs. Search on Bibsonomy APLAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas Resource-Driven CLP-Based Test Case Generation. Search on Bibsonomy LOPSTR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla Verification of Java Bytecode using Analysis and Transformation of Logic Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla Test Case Generation for Object-Oriented Imperative Languages in CLP Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla Test case generation for object-oriented imperative languages in CLP. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla PET: a partial evaluation-based test case generation tool for Java bytecode. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation
1Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa Parametric inference of memory requirements for garbage collected languages. Search on Bibsonomy ISMM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF live heap space analysis, peak memory consumption, garbage collection, java bytecode, low-level languages
1Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla Compositional CLP-Based Test Data Generation for Imperative Languages. Search on Bibsonomy LOPSTR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Elvira 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. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla Type-based homeomorphic embedding for online termination. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla On the Generation of Test Data for Prolog by Partial Evaluation Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla Decompilation of Java bytecode to Prolog by partial evaluation. Search on Bibsonomy Information & Software Technology The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa Live heap space analysis for languages with garbage collection. Search on Bibsonomy ISMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF live heap space analysis, peak memory consumption, java bytecode, low-level languages
1Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla Modular Decompilation of Low-Level Code by Partial Evaluation. Search on Bibsonomy SCAM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla Test Data Generation of Bytecode by CLP Partial Evaluation. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. Search on Bibsonomy PADL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa Heap space analysis for java bytecode. Search on Bibsonomy ISMM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF heap consumption, heap space analysis, Java bytecode, low-level languages
1Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. Search on Bibsonomy LOPSTR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #48 of 48 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license