Fachbücher

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 drei Bücher und zwei Themenhefte erschienen.

A. Spillner, M. Winter, A. Pietschker (Hrsg.):
Test, Analyse und Verifikation von Software – gestern, heute, morgen
dpunkt.verlag, 2017, ISBN 978-3-86490-470-7

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

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