Optimal context-sensitive dynamic partial order reduction with observers.

Elvira Albert, Maria Garcia de la Banda, Miguel Gmez-Zamalloa, Miguel Isabel, Peter J. Stuckey

Browse the full ISSTA paper archive.