05748247

j

05748247 Burnim, Jacob Sen, Koushik Asserting and checking determinism for multithreaded programs. Commun. ACM 53, No. 6, 97-105 (2010). 2010 Association for Computing Machinery, Inc. (ACM), New York, NY EN

doi:10.1145/1743546.1743572