Learning Abstracted Non-deterministic Finite State Machines

Andrea Pferscher; Bernhard Aichernig

doi:10.1007/978-3-030-64881-7\_4

Learning Abstracted Non-deterministic Finite State Machines

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Testing Software and Systems
Subtitle of host publication	32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings
Publisher	Springer
Pages	52-69
Volume	12543
ISBN (Print)	978-3-030-64880-0
DOIs	https://doi.org/10.1007/978-3-030-64881-7\_4
Publication status	Published - Dec 2020
Event	32nd IFIP International Conference on Testing Software and Systems - Virtuell, Italy Duration: 9 Dec 2020 → 11 Dec 2020

Conference

Conference	32nd IFIP International Conference on Testing Software and Systems
Abbreviated title	IFIP-ICTSS 2020
Country	Italy
City	Virtuell
Period	9/12/20 → 11/12/20

Keywords

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

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1007/978-3-030-64881-7\_4

1 Active

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

Cite this

Pferscher, A & Aichernig, B 2020, Learning Abstracted Non-deterministic Finite State Machines. in Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings. vol. 12543, Springer, pp. 52-69, 32nd IFIP International Conference on Testing Software and Systems, Virtuell, Italy, 9/12/20. https://doi.org/10.1007/978-3-030-64881-7\_4

@inproceedings{b585262359a640f2a047b99a13c41fc6,

title = "Learning Abstracted Non-deterministic Finite State Machines",

keywords = "Active automata learning, Model inference, Non-deterministic finite state machines, MQTT",

author = "Andrea Pferscher and Bernhard Aichernig",

year = "2020",

month = "12",

doi = "10.1007/978-3-030-64881-7\_4",

language = "English",

isbn = "978-3-030-64880-0",

volume = "12543",

pages = "52--69",

booktitle = "Testing Software and Systems",

publisher = "Springer",

}

TY - GEN

T1 - Learning Abstracted Non-deterministic Finite State Machines

AU - Pferscher, Andrea

AU - Aichernig, Bernhard

PY - 2020/12

Y1 - 2020/12

KW - Active automata learning

KW - Model inference

KW - Non-deterministic finite state machines

KW - MQTT

U2 - 10.1007/978-3-030-64881-7\_4

DO - 10.1007/978-3-030-64881-7\_4

M3 - Conference contribution

SN - 978-3-030-64880-0

VL - 12543

SP - 52

EP - 69

BT - Testing Software and Systems

PB - Springer

ER -

Learning Abstracted Non-deterministic Finite State Machines

Conference

Keywords

Fields of Expertise

Access to Document

Dependable Internet of Things

Cite this