Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

Bernhard Aichernig, Elisabeth Jöbstl

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

Originalspracheenglisch
TitelModel-Based Testing (MBT)
Herausgeber (Verlag).
Seiten88-102
Band80
DOIs
PublikationsstatusVeröffentlicht - 2012
VeranstaltungSeventh Workshop on Model-Based Testing: MBT 2012 - Tallinn, Estland
Dauer: 25 März 201225 März 2012

Publikationsreihe

NameElectronic Proceedings in Theoretical Computer Science (EPTCS)

Workshop

WorkshopSeventh Workshop on Model-Based Testing
Land/GebietEstland
OrtTallinn
Zeitraum25/03/1225/03/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Dieses zitieren