Fachgruppe Test,
Analyse und
Verifikation von
Software (TAV)

Veröffentlichungen

Bisher sind neben den Kurzfassungen der Beiträge, die auf den Treffen der FG gehalten wurden (veröffentlicht in den Softwaretechnik-Trends , s. bisherige Treffen), auch zwei Bücher und ein Themenheft erschienen.

A. Spillner, P. Liggesmeyer (Gastherausgeber):
Aktuelle Entwicklungen im Softwaretest
Themenheft der Zeitschrift Informatik -Forschung und Entwicklung
Springer Verlag, Heft 3/2000

M. Müllerburg, A. Spillner, P.Liggesmeyer (Hrsg):
Test, Analyse und Verifikation von Software
GMD-Bericht Nr. 260, R. Oldenbourg-Verlag, 1996, ISBN 3-486-23845-0

Themenheft des Software Quality Journal
London: Chapmann & Hall; Vol. 4, No. 4, December 1995, ISSN 0963-9314
(Editorial and Contents)

P. Liggesmeyer, H.M. Sneed, A. Spillner (Hrsg.):
Testen, Analysieren und Verifizieren von Software
Informatik aktuell, Springer-Verlag, 1992, ISBN 3-540-55860-8