Detection of deadlock potentials in multithreaded programsR. AgarwalS. Bensalemet al.2010IBM J. Res. Dev
6th Workshop on parallel and distributed systems: Testing, analysis, and debugging (PADTAD '08)Shmuel UrScott D. Stolleret al.2008ISSTA 2008
Benchmark and framework for encouraging research on multi-threaded testing toolsKlaus HavelundScott D. Stolleret al.2003IPDPS 2003