Miguel Gómez-Zamalloa

According to our database1, Miguel Gómez-Zamalloa authored at least 44 papers between 2007 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Optimal context-sensitive dynamic partial order reduction with observers.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018
Systematic testing of actor systems.
Softw. Test., Verif. Reliab., 2018

SDN-Actors: Modeling and Verification of SDN Programs.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

Constrained Dynamic Partial Order Reduction.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Generation of Initial Contexts for Effective Deadlock Detection.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

Context-Sensitive Dynamic Partial Order Reduction.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Testing of concurrent and imperative software using CLP.
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Combining Static Analysis and Testing for Deadlock Detection.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

SYCO: a systematic testing tool for concurrent objects.
Proceedings of the 25th International Conference on Compiler Construction, 2016

2015
Object-sensitive cost analysis for concurrent objects.
Softw. Test., Verif. Reliab., 2015

Testing abstract behavioral specifications.
STTT, 2015

Resource Analysis: From Sequential to Concurrent and Distributed Programs.
Proceedings of the FM 2015: Formal Methods, 2015

Test Case Generation of Actor Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
Selected and extended papers from Bytecode 2013.
Sci. Comput. Program., 2014

SACO: Static Analyzer for Concurrent Objects.
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.
Proceedings of the Formal Methods for Executable Software Models, 2014

Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013
A CLP heap solver for test case generation.
TPLP, 2013

Heap space analysis for garbage collected languages.
Sci. Comput. Program., 2013

aPET: a test case generation tool for concurrent objects.
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.
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Symbolic Execution of Concurrent Objects in CLP.
Proceedings of the Practical Aspects of Declarative Languages, 2012

Automatic Inference of Resource Consumption Bounds.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

A Framework for Guided Test Case Generation in Constraint Logic Programming.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

Towards Testing Concurrent Objects in CLP.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Automatic Inference of Bounds on Resource Consumption.
Proceedings of the Formal Methods for Components and Objects, 2012

2011
jPET: An Automatic Test-Case Generator for Java.
Proceedings of the 18th Working Conference on Reverse Engineering, 2011

Resource-Driven CLP-Based Test Case Generation.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

Simulating Concurrent Behaviors with Worst-Case Cost Bounds.
Proceedings of the FM 2011: Formal Methods, 2011

Cost Analysis of Concurrent OO Programs.
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010
Test case generation for object-oriented imperative languages in CLP.
TPLP, 2010

PET: a partial evaluation-based test case generation tool for Java bytecode.
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Compositional CLP-Based Test Data Generation for Imperative Languages.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

Parametric inference of memory requirements for garbage collected languages.
Proceedings of the 9th International Symposium on Memory Management, 2010

2009
Type-based homeomorphic embedding for online termination.
Inf. Process. Lett., 2009

Decompilation of Java bytecode to Prolog by partial evaluation.
Information & Software Technology, 2009

Termination and Cost Analysis with COSTA and its User Interfaces.
Electr. Notes Theor. Comput. Sci., 2009

Live heap space analysis for languages with garbage collection.
Proceedings of the 8th International Symposium on Memory Management, 2009

2008
Modular Decompilation of Low-Level Code by Partial Evaluation.
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.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

2007
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation.
Electr. Notes Theor. Comput. Sci., 2007

Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

Heap space analysis for java bytecode.
Proceedings of the 6th International Symposium on Memory Management, 2007


  Loading...