Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques.

Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha

Browse the full FASE paper archive.