Time for Mutants —Model-based Mutation Testing with Timed Automata

Bernhard Aichernig, Florian Lukas Lorber, Dejan Nickovic

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

Originalspracheenglisch
TitelTests and Proofs
Herausgeber (Verlag)Springer
Seiten20-38
ISBN (Print)978-3-642-38915-3
DOIs
PublikationsstatusVeröffentlicht - 2013
VeranstaltungInternational Conference on Tests and Proofs: TAP 2013 - Budapest, Ungarn
Dauer: 18 Juni 201319 Juni 2013

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer
Band7942

Konferenz

KonferenzInternational Conference on Tests and Proofs
KurztitelTAP 2013
Land/GebietUngarn
OrtBudapest
Zeitraum18/06/1319/06/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Experimental
  • Application

Dieses zitieren