Learning from Faults: Mutation Testing in Active Automata Learning

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

Original languageEnglish
Title of host publicationNASA Formal Methods - 9th International Symposium
PublisherSpringer International Publishing AG
Pages19-34
Number of pages16
DOIs
Publication statusPublished - 2017
EventNASA Formal Methods Symposium - Moffett Field, Ca., United States
Duration: 16 May 201718 May 2017

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing AG
Volume10227
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceNASA Formal Methods Symposium
Abbreviated titleNFM 2017
CountryUnited States
CityMoffett Field, Ca.
Period16/05/1718/05/17

Fields of Expertise

  • Information, Communication & Computing

Cite this

Aichernig, B. K., & Tappler, M. (2017). Learning from Faults: Mutation Testing in Active Automata Learning. In NASA Formal Methods - 9th International Symposium (pp. 19-34). (Lecture Notes in Computer Science; Vol. 10227). Springer International Publishing AG . https://doi.org/10.1007/978-3-319-57288-8_2

Learning from Faults: Mutation Testing in Active Automata Learning. / Aichernig, Bernhard K.; Tappler, Martin.

NASA Formal Methods - 9th International Symposium. Springer International Publishing AG , 2017. p. 19-34 (Lecture Notes in Computer Science; Vol. 10227).

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

Aichernig, BK & Tappler, M 2017, Learning from Faults: Mutation Testing in Active Automata Learning. in NASA Formal Methods - 9th International Symposium. Lecture Notes in Computer Science, vol. 10227, Springer International Publishing AG , pp. 19-34, NASA Formal Methods Symposium, Moffett Field, Ca., United States, 16/05/17. https://doi.org/10.1007/978-3-319-57288-8_2
Aichernig BK, Tappler M. Learning from Faults: Mutation Testing in Active Automata Learning. In NASA Formal Methods - 9th International Symposium. Springer International Publishing AG . 2017. p. 19-34. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-57288-8_2
Aichernig, Bernhard K. ; Tappler, Martin. / Learning from Faults: Mutation Testing in Active Automata Learning. NASA Formal Methods - 9th International Symposium. Springer International Publishing AG , 2017. pp. 19-34 (Lecture Notes in Computer Science).
@inproceedings{732908035efe464b9d6428fe7503fca6,
title = "Learning from Faults: Mutation Testing in Active Automata Learning",
author = "Aichernig, {Bernhard K.} and Martin Tappler",
year = "2017",
doi = "10.1007/978-3-319-57288-8_2",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer International Publishing AG",
pages = "19--34",
booktitle = "NASA Formal Methods - 9th International Symposium",
address = "Switzerland",

}

TY - GEN

T1 - Learning from Faults: Mutation Testing in Active Automata Learning

AU - Aichernig, Bernhard K.

AU - Tappler, Martin

PY - 2017

Y1 - 2017

U2 - 10.1007/978-3-319-57288-8_2

DO - 10.1007/978-3-319-57288-8_2

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

SP - 19

EP - 34

BT - NASA Formal Methods - 9th International Symposium

PB - Springer International Publishing AG

ER -