Systematic Software Testing - Craig (IEEE, 2002)