A framework of reachability testing for Java multithread programs.

Shuang Quan Li Huo Yan Chen Yu Xia Sun A framework of reachability testing for Java multithread programs. 2730-2734 2004 conf/smc/2004 SMC (3) http://dx.doi.org/10.1109/ICSMC.2004.1400744 db/conf/smc/smc2004-3.html#LiCS04