Learning from Faults: Mutation Testing in Active Automata Learning

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelNASA Formal Methods - 9th International Symposium
Herausgeber (Verlag)Springer International Publishing AG
Seiten19-34
Seitenumfang16
DOIs
PublikationsstatusVeröffentlicht - 2017
VeranstaltungNASA Formal Methods Symposium - Moffett Field, Ca., USA / Vereinigte Staaten
Dauer: 16 Mai 201718 Mai 2017

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer International Publishing AG
Band10227
ISSN (Print)0302-9743
ISSN (elektronisch)1611-3349

Konferenz

KonferenzNASA Formal Methods Symposium
KurztitelNFM 2017
LandUSA / Vereinigte Staaten
OrtMoffett Field, Ca.
Zeitraum16/05/1718/05/17

Fields of Expertise

  • Information, Communication & Computing

Dies zitieren

Aichernig, B. K., & Tappler, M. (2017). Learning from Faults: Mutation Testing in Active Automata Learning. in NASA Formal Methods - 9th International Symposium (S. 19-34). (Lecture Notes in Computer Science; Band 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. S. 19-34 (Lecture Notes in Computer Science; Band 10227).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, Bd. 10227, Springer International Publishing AG , S. 19-34, Moffett Field, Ca., USA / Vereinigte Staaten, 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. S. 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. S. 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 -