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

Bernhard K. Aichernig
, Martin Tappler

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	NASA Formal Methods - 9th International Symposium
Publisher	Springer International Publishing AG
Pages	19-34
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-319-57288-8_2
Publication status	Published - 2017
Event	NASA Formal Methods Symposium - Moffett Field, Ca., United States Duration: 16 May 2017 → 18 May 2017

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing AG
Volume	10227
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	NASA Formal Methods Symposium
Abbreviated title	NFM 2017
Country/Territory	United States
City	Moffett Field, Ca.
Period	16/05/17 → 18/05/17

Fields of Expertise

Information, Communication & Computing

Access to Document

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

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

Dependable Internet of Things
Pernkopf, F. (Contact person), Zakany, N. (Contact person), Eichlseder, M. (Contact person), Saukh, O. (Contact person), Mangard, S. (Contact person), Steinbauer-Wagner, G. (Contact person), Knoll, C. (Attendee / Assistant), Tranninger, M. (Attendee / Assistant), Römer, K. U. (Consortium manager resp. coordinator of internal research units), Rath, M. (Attendee / Assistant), Kubin, G. (Contact person), Horn, M. (Contact person), Tappler, M. (Attendee / Assistant), Bloem, R. (Consortium manager resp. coordinator of internal research units), Weiser, S. (Attendee / Assistant), Leitinger, E. (Contact person), Ebrahimi, M. (Attendee / Assistant), Aichernig, B. (Contact person), Malenko, M. (Attendee / Assistant), Steinberger, M. (Contact person), Großwindhager, B. (Attendee / Assistant), Baunach, M. C. (Contact person), Witrisal, K. (Contact person), Teschl, R. (Contact person), Boano, C. A. (Contact person), Alothman Alterkawi, A. B. (Attendee / Assistant), Bösch, W. (Contact person) & Grosinger, J. (Contact person)
1/01/16 → 31/03/22
Project: Research project

Cite this

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

@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

Publication series

Conference

Fields of Expertise

Access to Document

Projects

Dependable Internet of Things

Cite this