Context-Sensitive Dynamic Partial Order Reduction.

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

Browse the full CAV paper archive.