Learning Abstracted Non-deterministic Finite State Machines

Andrea Pferscher*, Bernhard Aichernig

*Corresponding author for this work

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

Original languageEnglish
Title of host publicationTesting Software and Systems
Subtitle of host publication32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings
PublisherSpringer
Pages52-69
Volume12543
ISBN (Print)978-3-030-64880-0
DOIs
Publication statusPublished - Dec 2020
Event32nd IFIP International Conference on Testing Software and Systems - Virtuell, Italy
Duration: 9 Dec 202011 Dec 2020

Conference

Conference32nd IFIP International Conference on Testing Software and Systems
Abbreviated titleIFIP-ICTSS 2020
CountryItaly
CityVirtuell
Period9/12/2011/12/20

Keywords

  • Active automata learning
  • Model inference
  • Non-deterministic finite state machines
  • MQTT

Fields of Expertise

  • Information, Communication & Computing

Cite this