Zum Hauptinhalt springen

Willkommen bei der Fachgruppe Test, Analyse und Verifikation von Software

Die Fachgruppe TAV (Test, Analyse und Verifikation von Software) ist eine Einrichtung des Fachbereichs Softwaretechnik der Gesellschaft für Informatik e.V. (GI). Die Schwerpunkte der Arbeit der Fachgruppe sind dynamisches Testen, statische Analysen und formale Techniken (z.B. symbolische Interpretation und formale Korrektheitsbeweise) der Programmprüfung sowie Fragen des Testmanagements.

Aktuelle Mitteilungen

DPSQ 2022 - Aufruf zur Einreichung von Vorschlägen
weiterlesen
Der Arbeitskreis Software-Qualität und -Fortbildung (ASQF), die Fachgruppe Test, Analyse und Verifikation der Gesellschaft für Informatik (GI-TAV)…
weiterlesen
Das Programm für unser Workshop am 27.9.2021 auf der GI-Jahrestagung ist online. 9 interessante Vorträge in vier Sessions über "Herausforderungen beim…
weiterlesen
Update 16.9.2021: Der Deutsche Preis für Softwarequalität 2021 wurde vergeben! Der ASQF, die GI Fachgruppe TAV und das GTB…
weiterlesen
Call for Papers: “Herausforderungen beim Testen moderner Softwaresysteme” Der Call ist abgeschlossen. Da Programm des Workshops wurde veröffentlicht.…
weiterlesen
In der Fachgruppe TAV gibt es folgende personelle Änderungen: Der bisherige stellvertretende Sprecher der Fachgruppe Prof. Dr. Wilhelm Ruckdeschel…
weiterlesen
Wir, die Mitglieder der Fachgruppe “Test, Analyse und Verifikation von Software (TAV)” der Gesellschaft für Informatik, sind in tiefer Trauer, da wir…
weiterlesen
Letztes Jahr haben wir in Bremen 25 Jahre TAV gefeiert. Das Buch zum Event ist beim dpunkt.verlag erschienen. Bald ist Weihnachten und ich habe…
weiterlesen

Nächste Veranstaltungen

Keine Veranstaltungen geplant.

Vergangene Veranstaltungen