Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey. Optimal context-sensitive dynamic partial order reduction with observers. In Dongmei Zhang, Anders Møller, editors, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019. pages 352-362, ACM, 2019. [doi]
Abstract is missing.