Bochum

Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner (Eds.): Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992. Informatik Aktuell Springer 1992, ISBN 3-540-55860-8 BibTeX

@proceedings{DBLP:conf/testen/1992,
  editor    = {Peter Liggesmeyer and
               Harry M. Sneed and
               Andreas Spillner},
  title     = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis
               Testen, Analysieren und Verifizieren von Software der Fachgruppe
               Software-Engineering der GI, Proceedings der Treffen in Benthe
               und Bochum Juni 1991 und Februar 1992},
  booktitle = {Testen, Analysieren und Verifizieren von Software},
  publisher = {Springer},
  series    = {Informatik Aktuell},
  year      = {1992},
  isbn      = {3-540-55860-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Überblick und Klassifikation

Peter Liggesmeyer: Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren. 1-25 BibTeX
Jens Herrmann, Klaus Grimm: Klassifikation von Software-Testmethoden. 26-34 BibTeX
Monika Müllerburg: Zur Formalisierung von Testkonzepten. 35-44 BibTeX

Werkzeuge

Harry M. Sneed: The MicroTest Integrated Test Environment. 45-56 BibTeX
Peter Schless: Methoden und Werkzeuge zur Automatisierung des Software-Tests. 57-69 BibTeX
Ute Pelkmann: TESTSCOPE - ein Werkzeug für den Modul- und Integrationstest. 70-80 BibTeX
Ralf Haselhorst: Der Software-Analyse-Baukasten - Ein Bericht aus der universitären Ausbildung. 81-90 BibTeX

Prüfen umfangreicher Softwaresysteme

Andreas Spillner: Testmethoden und Testdatengewinnung für den Integrationstest modularer Softwaresysteme. 91-101 BibTeX
Klaus Hauptmann: Abnahmetest großer Systeme - Methoden, Organisation und Werkzeuge. 102-110 BibTeX
Hans-Jürgen Löx: Testen in der Wartungsphase - Erfahrungen im Bereich des Regressionstests. 111-118 BibTeX
Lutz Eichler: Testen paralleler Betriebssysteme. 119-129 BibTeX

Formale Ansätze zur Softwareprüfung

Hans-Jörg Kreowski: Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen. 130-142 BibTeX
Hans Werner Pohl: Ein stochastisches Fehlermodell zur Kommunikation. 143-154 BibTeX
Ralf Kneuper: Validation und Verifikation von Software durch symbolische Ausführung. 155-167 BibTeX

Prüfen objektorientierter Softwaresysteme

Jan Overbeck: Test Activities for Object-Oriented Software Development. 168-176 BibTeX
Peter Liggesmeyer, Andreas Dregger, Helmut Balzert: Ein experimentelles Testsystem für die Sprache HyperTalk. 177-186 BibTeX