Orit Edelstein Eitan Farchi Yarden Nir Gil Ratsaby Shmuel Ur Multithreaded Java program test generation. 111-125 2002 41 IBM Systems Journal 1 http://researchweb.watson.ibm.com/journal/sj/411/edelstein.html db/journals/ibmsj/ibmsj41.html#EdelsteinFNRU02