Generating efficient test oracles from specifications

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Klassifikation
Informatik

Ereignis
Veröffentlichung
(wo)
Koblenz
(wer)
Universität Koblenz-Landau, Campus Koblenz
(wann)
2010
Urheber
Beteiligte Personen und Organisationen
Gladisch, Christoph
Beckert, Bernhard
Hähnle, Reiner
Rümmer, Philipp

URN
urn:nbn:de:kola-4307
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:46 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2010

Ähnliche Objekte (12)

Generating interpreters from compiler specifications

Generating interpreters from compiler specifications

Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications

Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications

Generating processors from specifications of instruction sets

Hochschulschrift

Generating processors from specifications of instruction sets

Generating processors from specifications of instruction sets

Hochschulschrift

Generating processors from specifications of instruction sets

Efficient Implementation of Estelle Specifications

Efficient Implementation of Estelle Specifications

Generating user interfaces from formal specifications of the application

Generating user interfaces from formal specifications of the application

Generating meaningful test databases

Hochschulschrift

Generating meaningful test databases

Generating implementations from formal specifications : a translator from Promela to Java

Generating implementations from formal specifications : a translator from Promela to Java

Generating tests for feature interaction

Hochschulschrift

Generating tests for feature interaction

Oracles Auferstehung

Comic

Oracles Auferstehung

Test Specifications and Blueprints: Reality and Expectations

Test Specifications and Blueprints: Reality and Expectations

Test Specifications and Blueprints: Reality and Expectations

Journal article | Zeitschriftenartikel

Test Specifications and Blueprints: Reality and Expectations

Verbundene Objekte