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