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

Bernhard Aichernig, Florian Lukas Lorber, Dejan Nickovic

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationTests and Proofs
PublisherSpringer
Pages20-38
ISBN (Print)978-3-642-38915-3
DOIs
Publication statusPublished - 2013
EventInternational Conference on Tests and Proofs 2013 - Budapest, Hungary
Duration: 18 Jun 201319 Jun 2013

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume7942

Conference

ConferenceInternational Conference on Tests and Proofs 2013
Abbreviated titleTAP 2013
CountryHungary
CityBudapest
Period18/06/1319/06/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Experimental
  • Application

Cite this