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 de conférence:
ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
ISBN: 9781450362245
Année de publication: 2019
Pages: 318-328
Type: Communication dans un congrès