Generating efficient test oracles from specifications
Bender, Markus ; Gladisch, Christoph ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp 2010 Universität Koblenz-Landau, Campus Koblenz
- Link zu diesem Datensatz
-
https://d-nb.info/1110894600
- Titel
-
Generating efficient test oracles from specifications
- Art des Inhalts
- Monographie
- Verfassangaben
- Markus Bender. Betreuer: Bernhard Beckert ; Reiner Hähnle ; Christoph Gladisch ; Philipp Rümmer
- Autor(en)
-
- Bender, Markus
- Gladisch, Christoph
- Beckert, Bernhard
- Hähnle, Reiner
- Rümmer, Philipp
- Verlag
- Koblenz : Universität Koblenz-Landau, Campus Koblenz [2010]
- Jahr
- Erscheinungsdatum: 2010
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:kola-4307
- Sprache
- eng
- Schlagwörter
-
- Stand
- 16.10.2025 08:01
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
