DMCA

Asserting and checking determinism for multithreaded programs (2009)

by Jacob Burnim , Koushik Sen
Venue:In FSE
Citations:44 - 9 self