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.
Actes:
ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
ISBN: 9781450362245
Any de publicació: 2019
Pàgines: 318-328
Tipus: Aportació congrés