A framework of reachability testing for Java multithread programs.

Shuang Quan Li, Huo Yan Chen, Yu Xia Sun

Browse the full SMC paper archive.