Evaluating the Effectiveness of Random and Partition Testing by Delivered Reliability. - Jingyong Zeng; Hang Lei; Haibo Pu (ICESS, 2008)