Active Inference of Extended Finite State Machine Models with Registers and Guards

Roland Groz, German Eduardo Vega Baez, Adenilso Simao +3

Extended finite state machines (EFSMs) model stateful systems with internal data variables and have numerous applications in software engineering. A major advantage of this type of…