Ein tiefgreifendes Lehrbuch, das die systematische Prüfung von Software aus ingenieurtechnischer Sicht erklärt, praktische Teststrategien, mathematische Modelle und Risikobewertungen für Entwickler und Prüfer bietet.