“…Recently, there has been growing interest in automated FSM construction based on given specifications, which are often represented as execution traces and logs [23,38,39,31]. Other types of data employed in model construction are temporal properties [38,9,31] and invariants [3]. This research direction is appealing, since inferred finite-state models can help comprehend software, reveal faults in it, facilitate model-driven development, or even serve as software.…”