default search action

combined dblp search
author search
venue search
publication search

ask others

Testen, Analysieren und Verifizieren von Software 1991/1992: Benthe/Bochum

> Home > Conferences and Workshops > Testen, Analysieren und Verifizieren von Software

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/testen/1992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/1992
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

- view
  authority control:
- export record
  dblp key:
  - conf/testen/Liggesmeyer92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/Liggesmeyer92
Peter Liggesmeyer:
Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren. 1-25
- view
  authority control:
- export record
  dblp key:
  - conf/testen/HerrmannG92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/HerrmannG92
Jens Herrmann, Klaus Grimm:
Klassifikation von Software-Testmethoden. 26-34
- view
  authority control:
- export record
  dblp key:
  - conf/testen/Mullerburg92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/Mullerburg92
Monika Müllerburg:
Zur Formalisierung von Testkonzepten. 35-44

Werkzeuge

- view
  authority control:
- export record
  dblp key:
  - conf/testen/Sneed92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/Sneed92
Harry M. Sneed:
The MicroTest Integrated Test Environment. 45-56
- view
  authority control:
- export record
  dblp key:
  - conf/testen/Schless92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/Schless92
Peter Schless:
Methoden und Werkzeuge zur Automatisierung des Software-Tests. 57-69
- view
  authority control:
- export record
  dblp key:
  - conf/testen/Pelkmann92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/Pelkmann92
Ute Pelkmann:
TESTSCOPE - ein Werkzeug für den Modul- und Integrationstest. 70-80
- view
  authority control:
- export record
  dblp key:
  - conf/testen/Haselhorst92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/Haselhorst92
Ralf Haselhorst:
Der Software-Analyse-Baukasten - Ein Bericht aus der universitären Ausbildung. 81-90

Prüfen umfangreicher Softwaresysteme

- view
  authority control:
- export record
  dblp key:
  - conf/testen/Spillner92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/Spillner92
Andreas Spillner:
Testmethoden und Testdatengewinnung für den Integrationstest modularer Softwaresysteme. 91-101
- view
  authority control:
- export record
  dblp key:
  - conf/testen/Hauptmann92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/Hauptmann92
Klaus Hauptmann:
Abnahmetest großer Systeme - Methoden, Organisation und Werkzeuge. 102-110
- view
  authority control:
- export record
  dblp key:
  - conf/testen/Lox92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/Lox92
Hans-Jürgen Löx:
Testen in der Wartungsphase - Erfahrungen im Bereich des Regressionstests. 111-118
- view
  authority control:
- export record
  dblp key:
  - conf/testen/Eichler92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/Eichler92
Lutz Eichler:
Testen paralleler Betriebssysteme. 119-129

Formale Ansätze zur Softwareprüfung

- view
  authority control:
- export record
  dblp key:
  - conf/testen/Kreowski92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/Kreowski92
Hans-Jörg Kreowski:
Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen. 130-142
- view
  authority control:
- export record
  dblp key:
  - conf/testen/Pohl92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/Pohl92
Hans Werner Pohl:
Ein stochastisches Fehlermodell zur Kommunikation. 143-154
- view
  authority control:
- export record
  dblp key:
  - conf/testen/Kneuper92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/Kneuper92
Ralf Kneuper:
Validation und Verifikation von Software durch symbolische Ausführung. 155-167

Prüfen objektorientierter Softwaresysteme

- view
  authority control:
- export record
  dblp key:
  - conf/testen/Overbeck92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/Overbeck92
Jan Overbeck:
Test Activities for Object-Oriented Software Development. 168-176
- view
  authority control:
- export record
  dblp key:
  - conf/testen/LiggesmeyerDB92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/testen/LiggesmeyerDB92
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.