Reliability Verification of Software Based on Cloud Service | IEEE Conference Publication | IEEE Xplore