Orit Edelstein Eitan Farchi Evgeny Goldin Yarden Nir Gil Ratsaby Shmuel Ur Framework for testing multi-threaded Java programs. 485-499 2003 15 Concurrency and Computation: Practice and Experience 3-5 db/journals/concurrency/concurrency15.html#EdelsteinFGNRU03