Path coverage testing in the cloud | IEEE Conference Publication | IEEE Xplore