Asserting and checking determinism for multithreaded programs (2009)

by J Burnim, K Sen
Venue:In Foundations of Software Engineering (FSE