default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTesten, Analysieren und Verifizieren von Software 1991/1992: Benthe/Bochum
- Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner:
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
Überblick und Klassifikation
- Peter Liggesmeyer:
Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren. 1-25 - Jens Herrmann, Klaus Grimm:
Klassifikation von Software-Testmethoden. 26-34 - Monika Müllerburg:
Zur Formalisierung von Testkonzepten. 35-44
Werkzeuge
- Harry M. Sneed:
The MicroTest Integrated Test Environment. 45-56 - Peter Schless:
Methoden und Werkzeuge zur Automatisierung des Software-Tests. 57-69 - Ute Pelkmann:
TESTSCOPE - ein Werkzeug für den Modul- und Integrationstest. 70-80 - Ralf Haselhorst:
Der Software-Analyse-Baukasten - Ein Bericht aus der universitären Ausbildung. 81-90
Prüfen umfangreicher Softwaresysteme
- Andreas Spillner:
Testmethoden und Testdatengewinnung für den Integrationstest modularer Softwaresysteme. 91-101 - Klaus Hauptmann:
Abnahmetest großer Systeme - Methoden, Organisation und Werkzeuge. 102-110 - Hans-Jürgen Löx:
Testen in der Wartungsphase - Erfahrungen im Bereich des Regressionstests. 111-118 - Lutz Eichler:
Testen paralleler Betriebssysteme. 119-129
Formale Ansätze zur Softwareprüfung
- Hans-Jörg Kreowski:
Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen. 130-142 - Hans Werner Pohl:
Ein stochastisches Fehlermodell zur Kommunikation. 143-154 - Ralf Kneuper:
Validation und Verifikation von Software durch symbolische Ausführung. 155-167
Prüfen objektorientierter Softwaresysteme
- Jan Overbeck:
Test Activities for Object-Oriented Software Development. 168-176 - Peter Liggesmeyer, Andreas Dregger, Helmut Balzert:
Ein experimentelles Testsystem für die Sprache HyperTalk. 177-186
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-20 23:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
