Finding Concurrency Bugs in Java. (2004)

by D Hovemeyer, W Pugh
Venue:In Proc. of PODC’04,