Clash of the Titans: tools and techniques for hunting bugs in concurrent programs.

Neha Rungta, Eric G. Mercer

Browse the full ISSTA paper archive.