Reliability Verification of Software Based on Cloud Service. - Changyun Jia; Longye Tang (GCC, 2010)