Evaluating ordering heuristics for dynamic partial-order reduction techniques (2010)

by S Lauterburg, R K Karmani, D Marinov, G Agha
Venue:In Fundamental Approaches to Software Engineering (FASE) with ETAPS