Evaluating Ordering Heuristics for Dynamic Partial-order Reduction Techniques

by Steven Lauterburg , Rajesh K. Karmani , Darko Marinov , Gul Agha
Citations:6 - 4 self