![](/img/cover-not-exists.png)
[ACM Press the 28th ACM SIGSOFT International Symposium - Beijing, China (2019.07.15-2019.07.19)] Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2019 - Optimal context-sensitive dynamic partial order reduction with observers
Albert, Elvira, de la Banda, Maria Garcia, Gómez-Zamalloa, Miguel, Isabel, Miguel, Stuckey, Peter J.Year:
2019
Language:
english
DOI:
10.1145/3293882.3330565
File:
PDF, 859 KB
english, 2019