Testen, Analysieren und Verifizieren von Software

Keyphrases

Publications

1992

Klaus Hauptmann
Abnahmetest großer Systeme - Methoden, Organisation und Werkzeuge. Testen, Analysieren und Verifizieren von Software (1992)
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 Testen, Analysieren und Verifizieren von Software (1992)
Lutz Eichler
Testen paralleler Betriebssysteme. Testen, Analysieren und Verifizieren von Software (1992)
Jens Herrmann, Klaus Grimm
Klassifikation von Software-Testmethoden. Testen, Analysieren und Verifizieren von Software (1992)
Peter Schless
Methoden und Werkzeuge zur Automatisierung des Software-Tests. Testen, Analysieren und Verifizieren von Software (1992)
Andreas Spillner
Testmethoden und Testdatengewinnung für den Integrationstest modularer Softwaresysteme. Testen, Analysieren und Verifizieren von Software (1992)
Harry M. Sneed
The MicroTest Integrated Test Environment. Testen, Analysieren und Verifizieren von Software (1992)
Hans-Jürgen Löx
Testen in der Wartungsphase - Erfahrungen im Bereich des Regressionstests. Testen, Analysieren und Verifizieren von Software (1992)
Peter Liggesmeyer
Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren. Testen, Analysieren und Verifizieren von Software (1992)
Monika Müllerburg
Zur Formalisierung von Testkonzepten. Testen, Analysieren und Verifizieren von Software (1992)
Ralf Haselhorst
Der Software-Analyse-Baukasten - Ein Bericht aus der universitären Ausbildung. Testen, Analysieren und Verifizieren von Software (1992)
Ralf Kneuper
Validation und Verifikation von Software durch symbolische Ausführung. Testen, Analysieren und Verifizieren von Software (1992)
Hans Werner Pohl
Ein stochastisches Fehlermodell zur Kommunikation. Testen, Analysieren und Verifizieren von Software (1992)
Ute Pelkmann
TESTSCOPE - ein Werkzeug für den Modul- und Integrationstest. Testen, Analysieren und Verifizieren von Software (1992)
Peter Liggesmeyer, Andreas Dregger, Helmut Balzert
Ein experimentelles Testsystem für die Sprache HyperTalk. Testen, Analysieren und Verifizieren von Software (1992)
Jan Overbeck
Test Activities for Object-Oriented Software Development. Testen, Analysieren und Verifizieren von Software (1992)
Hans-Jörg Kreowski
Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen. Testen, Analysieren und Verifizieren von Software (1992)