Orit Edelstein Eitan Farchi Yarden Nir Gil Ratsaby Shmuel Ur Multithreaded Java program test generation. 181 2001 Java Grande http://portal.acm.org/citation.cfm?id=376656.376848 db/conf/java/java2001.html#EdelsteinFNRU01