18 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.FL2024
Learning EFSM Models with Registers in Guards
Germán Vega, Roland Groz, Catherine Oriat +3
This paper presents an active inference method for Extended Finite State Machines, where inputs and outputs are parametrized, and transitions can be conditioned by guards involving…
cs.SE2014★ 18 cited
Generating Complete and Finite Test Suite for ioco: Is It Possible?
Adenilso Simao, Alexandre Petrenko
Testing from Input/Output Transition Systems has been intensely investigated. The conformance between the implementation and the specification is often determined by the so-called…