MIGUEL
ISABEL MÁRQUEZ
Profesor ayudante doctor
Monash University
Melbourne, AustraliaPublications en collaboration avec des chercheurs de Monash University (2)
2023
-
Optimal dynamic partial order reduction with context-sensitive independence and observers
Journal of Systems and Software, Vol. 202
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