Chang-Seo Park and Koushik Sen: Randomized active atomicity violation detection in concurrent programs. (2008)conf/sigsoft/ParkS0810.1145/1453101.1453121Randomized active atomicity violation detection in concurrent programs.2Chang-Seo Park1Koushik Sen2135-145SIGSOFT FSESIGSOFT FSE20082008provenance information for RDF data of dblp record 'conf/sigsoft/ParkS08'2018-11-06T16:59:22+0100