Systematic testing of multithreaded Java programs (1999)

by D Bruening