Object oriented software testing a hierarchical approach - Siegel, Shel (Wiley [u.a], 1996)