MIGUEL
ISABEL MÁRQUEZ
Profesor ayudante doctor
MIGUEL
GÓMEZ-ZAMALLOA GIL
Profesor titular de universidad
Publicacions en què col·labora amb MIGUEL GÓMEZ-ZAMALLOA GIL (8)
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)
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