Learning from Faults: Mutation Testing in Active Automata Learning

Bernhard K. Aichernig; Martin Tappler

doi:10.1007/978-3-319-57288-8_2

Learning from Faults: Mutation Testing in Active Automata Learning

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	NASA Formal Methods - 9th International Symposium
Herausgeber (Verlag)	Springer International Publishing AG
Seiten	19-34
Seitenumfang	16
DOIs	https://doi.org/10.1007/978-3-319-57288-8_2
Publikationsstatus	Veröffentlicht - 2017
Veranstaltung	NASA Formal Methods Symposium - Moffett Field, Ca., USA / Vereinigte Staaten Dauer: 16 Mai 2017 → 18 Mai 2017

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer International Publishing AG
Band	10227
ISSN (Print)	0302-9743
ISSN (elektronisch)	1611-3349

Konferenz

Konferenz	NASA Formal Methods Symposium
Kurztitel	NFM 2017
Land/Gebiet	USA / Vereinigte Staaten
Ort	Moffett Field, Ca.
Zeitraum	16/05/17 → 18/05/17

Fields of Expertise

Information, Communication & Computing

Zugriff auf Dokument

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

http://dx.doi.org/10.1007/978-3-319-57288-8_2

Verlaesslichkeit im Internet der Dinge
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Projekt: Forschungsprojekt

Dieses zitieren

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, NASA Formal Methods Symposium, Moffett Field, Ca., USA / Vereinigte Staaten, 16/05/17. https://doi.org/10.1007/978-3-319-57288-8_2

@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",

note = "NASA Formal Methods Symposium, NFM 2017 ; Conference date: 16-05-2017 Through 18-05-2017",

}

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 paper

T3 - Lecture Notes in Computer Science

SP - 19

EP - 34

BT - NASA Formal Methods - 9th International Symposium

PB - Springer International Publishing AG

T2 - NASA Formal Methods Symposium

Y2 - 16 May 2017 through 18 May 2017

ER -

Learning from Faults: Mutation Testing in Active Automata Learning

Publikationsreihe

Konferenz

Fields of Expertise

Zugriff auf Dokument

Projekte

Verlaesslichkeit im Internet der Dinge

Dieses zitieren