Title: Qualitätssicherung komplexer Programmsysteme