Rigorous Assessment of Model Inference Accuracy using Language Cardinality

Donato Clun, Donghwan Shin, Antonio Filieri +1

Models such as finite state automata are widely used to abstract the behavior of software systems by capturing the sequences of events observable during their execution. Neverthele…