Ordered sequence testing criteria for concurrent programs and the support tool | IEEE Conference Publication | IEEE Xplore