Software system testing and quality assurance - Beizer, Boris (1984)