Multithreaded Java program test generation

Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur. Multithreaded Java program test generation. IBM Systems Journal, 41(1):111-125, 2002. [doi]

Abstract

Abstract is missing.