Systematisches Testen mit Tensor - Balzert, Helmut (Angewandte Informatik, 1993)