Links
GI-Fachgruppe TAV: Test, Analyse und Verifikation von Software
Gesellschaft für Informatik e.V.