A Feasible Strategy for Reachability Testing of Internet-Based Concurrent Programs. - Fangli Pu; Hai-Yin Xu (ICNSC, 2008)