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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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

Dieses zitieren