Learning from Faults: Mutation Testing in Active Automata Learning

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

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

Dieses zitieren