A Feasible Strategy for Reachability Testing of Internet-Based Concurrent Programs | IEEE Conference Publication | IEEE Xplore