Randomized active atomicity violation detection in concurrent programs.

Published in: SIGSOFT FSE (2008)

Keyphrases