G.: Evaluating ordering heuristics for dynamic partial-order reduction techniques (0)

by S Lauterburg, R K Karmani, D Marinov, Agha
Venue:In: FASE’10