Systematic software testing - Craig, Rick D. 1955- (Artech House computer library, 2002)