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 Konferenzband

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 2013 - Budapest, Ungarn
Dauer: 18 Jun 201319 Jun 2013

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer
Band7942

Konferenz

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

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Experimental
  • Application

Dieses zitieren