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 contributionResearchpeer-review

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

Aichernig, B., Lorber, F. L., & Nickovic, D. (2013). Time for Mutants —Model-based Mutation Testing with Timed Automata. In Tests and Proofs (pp. 20-38). (Lecture Notes in Computer Science; Vol. 7942). Springer. https://doi.org/10.1007/978-3-642-38916-0_2

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

Tests and Proofs . Springer, 2013. p. 20-38 (Lecture Notes in Computer Science; Vol. 7942).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Aichernig, B, Lorber, FL & Nickovic, D 2013, Time for Mutants —Model-based Mutation Testing with Timed Automata. in Tests and Proofs . Lecture Notes in Computer Science, vol. 7942, Springer, pp. 20-38, International Conference on Tests and Proofs 2013, Budapest, Hungary, 18/06/13. https://doi.org/10.1007/978-3-642-38916-0_2
Aichernig B, Lorber FL, Nickovic D. Time for Mutants —Model-based Mutation Testing with Timed Automata. In Tests and Proofs . Springer. 2013. p. 20-38. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-38916-0_2
Aichernig, Bernhard ; Lorber, Florian Lukas ; Nickovic, Dejan. / Time for Mutants —Model-based Mutation Testing with Timed Automata. Tests and Proofs . Springer, 2013. pp. 20-38 (Lecture Notes in Computer Science).
@inproceedings{4fd7074259944ba29b5a90cbcf438c1a,
title = "Time for Mutants —Model-based Mutation Testing with Timed Automata",
author = "Bernhard Aichernig and Lorber, {Florian Lukas} and Dejan Nickovic",
year = "2013",
doi = "10.1007/978-3-642-38916-0_2",
language = "English",
isbn = "978-3-642-38915-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "20--38",
booktitle = "Tests and Proofs",

}

TY - GEN

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

AU - Aichernig, Bernhard

AU - Lorber, Florian Lukas

AU - Nickovic, Dejan

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-38916-0_2

DO - 10.1007/978-3-642-38916-0_2

M3 - Conference contribution

SN - 978-3-642-38915-3

T3 - Lecture Notes in Computer Science

SP - 20

EP - 38

BT - Tests and Proofs

PB - Springer

ER -