Software system testing and quality assurance - Beizer, Boris (Internat. Thomson Computer Press, 1996)