Approximate Partial Order Reduction.

Chuchu Fan, Zhenqi Huang, Sayan Mitra

Browse the full FM paper archive.