Learning from Faults: Mutation Testing in Active Automata Learning - Mutation Testing in Active Automata Learning - researchr publication

researchr

You are not signed in
Sign in
Sign up

Bernhard K. Aichernig, Martin Tappler. Learning from Faults: Mutation Testing in Active Automata Learning - Mutation Testing in Active Automata Learning. In Clark Barrett, Misty Davies, Temesghen Kahsai, editors, NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. Volume 10227 of Lecture Notes in Computer Science, pages 19-34, 2017. [doi]

Abstract is missing.

runs on WebDSL