Title: Software-Qualität: Testen, Analysieren und Verifizieren von Software (German Edition)