Toward a Human-Readable State Machine Extraction.

Michaela Brunner Alexander Hepp Johanna Baehr Georg Sigl

Published in: ACM Trans. Design Autom. Electr. Syst. (2022)

Keyphrases

human readable
state machine
state machines
fault tolerant
meta information
finite state machines
automatic extraction
machine learning
information extraction
semantic content
database
data model
hand crafted