Model-based Mutation Testing with Timed Automata

Bernhard Aichernig, Florian Lukas Lorber, Dejan Nickovic

Research output: Book/ReportOther reportResearch

Original languageEnglish
Publisher.
Publication statusPublished - 2013

Fields of Expertise

  • Information, Communication & Computing

Cite this

Aichernig, B., Lorber, F. L., & Nickovic, D. (2013). Model-based Mutation Testing with Timed Automata. .

Model-based Mutation Testing with Timed Automata. / Aichernig, Bernhard; Lorber, Florian Lukas; Nickovic, Dejan.

., 2013.

Research output: Book/ReportOther reportResearch

Aichernig, Bernhard ; Lorber, Florian Lukas ; Nickovic, Dejan. / Model-based Mutation Testing with Timed Automata. ., 2013.
@book{09242f4a02914255b3d9dbd274629082,
title = "Model-based Mutation Testing with Timed Automata",
author = "Bernhard Aichernig and Lorber, {Florian Lukas} and Dejan Nickovic",
note = "Reportnr.: IST-MBT-2013-02",
year = "2013",
language = "English",
publisher = ".",

}

TY - BOOK

T1 - Model-based Mutation Testing with Timed Automata

AU - Aichernig, Bernhard

AU - Lorber, Florian Lukas

AU - Nickovic, Dejan

N1 - Reportnr.: IST-MBT-2013-02

PY - 2013

Y1 - 2013

M3 - Other report

BT - Model-based Mutation Testing with Timed Automata

PB - .

ER -