Optimal context-sensitive dynamic partial order reduction with observers
- Albert, E.
- De La Banda, M.G.
- Gómez-Zamalloa, M.
- Isabel, M.
- Stuckey, P.J.
Actas:
ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
ISBN: 9781450362245
Año de publicación: 2019
Páginas: 318-328
Tipo: Aportación congreso