Framework for testing multi-threaded Java programs. - Orit Edelstein; Eitan Farchi; Evgeny Goldin; Yarden Nir; Gil Ratsaby; Shmuel Ur (Concurr. Comput. Pract. Exp., 2003)