A practitioner's guide to software test design - Copeland, Lee. (Artech House, 2004)