Model-based mutation testing of reactive systems - from semantics to automated test-case generation

Bernhard Aichernig

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

Originalspracheenglisch
TitelTheories of Programming and Formal Methods
Herausgeber (Verlag).
Seiten23-36
PublikationsstatusVeröffentlicht - 2013

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • 2 Abgeschlossen

Dieses zitieren