Asserting and checking determinism for multithreaded programs (2009)

by Jacob Burnim , Koushik Sen
Venue:In FSE
Citations:36 - 8 self