Model-based Mutation Testing with Timed Automata

Bernhard Aichernig, Florian Lukas Lorber, Dejan Nickovic

Research output: Book/ReportOther report

Original languageEnglish
Publisher.
Publication statusPublished - 2013

Fields of Expertise

  • Information, Communication & Computing

Cite this