A framework of reachability testing for Java multithread programs. - Shuang Quan Li; Huo Yan Chen; Yu Xia Sun (SMC (3), 2004)