Model-based mutation testing of reactive systems - from semantics to automated test-case generation

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

Original languageEnglish
Title of host publicationTheories of Programming and Formal Methods
Publisher.
Pages23-36
Publication statusPublished - 2013

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this

Model-based mutation testing of reactive systems - from semantics to automated test-case generation. / Aichernig, Bernhard.

Theories of Programming and Formal Methods. ., 2013. p. 23-36.

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

@inproceedings{c6263f7638274a3881820a850c0cc16e,
title = "Model-based mutation testing of reactive systems - from semantics to automated test-case generation",
author = "Bernhard Aichernig",
year = "2013",
language = "English",
pages = "23--36",
booktitle = "Theories of Programming and Formal Methods",
publisher = ".",

}

TY - GEN

T1 - Model-based mutation testing of reactive systems - from semantics to automated test-case generation

AU - Aichernig, Bernhard

PY - 2013

Y1 - 2013

M3 - Conference contribution

SP - 23

EP - 36

BT - Theories of Programming and Formal Methods

PB - .

ER -