
MIGUEL
GÓMEZ-ZAMALLOA GIL
Profesor titular de universidad
Publications (51) MIGUEL GÓMEZ-ZAMALLOA GIL publications
2023
-
Optimal dynamic partial order reduction with context-sensitive independence and observers
Journal of Systems and Software, Vol. 202
2021
-
Actor-based model checking for Software-Defined Networks
Journal of Logical and Algebraic Methods in Programming, Vol. 118
-
Deadlock-guided testing
IEEE Access, Vol. 9, pp. 46033-46048
2019
-
Optimal context-sensitive dynamic partial order reduction with observers
ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
2018
-
Constrained dynamic partial order reduction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Generation of initial contexts for effective deadlock detection
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
SDN-Actors: Modeling and verification of SDN programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Systematic testing of actor systems
Software Testing Verification and Reliability, Vol. 28, Núm. 3
2017
-
Context-sensitive dynamic partial order reduction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016
-
Combining static analysis and testing for deadlock detection
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
SYCO: A systematic testing tool for concurrent objects
Proceedings of CC 2016: The 25th International Conference on Compiler Construction
-
Testing of concurrent and imperative software using CLP
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016
2015
-
Object-sensitive cost analysis for concurrent objects
Software Testing Verification and Reliability, Vol. 25, Núm. 3, pp. 218-271
-
Resource analysis: From sequential to concurrent and distributed programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Test case generation of actor systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
Actor- and task-selection strategies for pruning redundant state-exploration in testing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
SACO: Static analyzer for concurrent objects
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Selected and extended papers from Bytecode 2013
Science of Computer Programming
-
Test case generation by symbolic execution: Basic concepts, a CLP-based instance, and actor-based concurrency
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Testing abstract behavioral specifications
International Journal on Software Tools for Technology Transfer, Vol. 17, Núm. 1, pp. 107-119