Learning from Faults: Mutation Testing in Active Automata Learning

Bernhard K. Aichernig, Martin Tappler

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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