Creating Test-Cases Incrementally with Model-Checkers

Gordon Fraser, Franz Wotawa

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalspracheenglisch
TitelProceedings of the 37th Annual Congress of the Gesellschaft fuer Informatik
Herausgeber (Verlag).
Seiten415-420
PublikationsstatusVeröffentlicht - 2007

Treatment code (Nähere Zuordnung)

  • Theoretical
  • 1 Abgeschlossen

Dieses zitieren