Harnessing overgeneralization in the synthesis of state machines from scenarios

Synthesis of state machine designs from scenarios must cope with two main problems, namely, generalizing partial behaviours of scenarios and preventing from overgeneralization that produces spurious emergent behaviours. The challenge is a trade-off between automatic generalization in one hand, and the effort and time spent for resolving spurious emergent behaviours on the other hand. In this paper, we propose a solution for this challenge in terms of a set of syntactic criteria defined over scenarios that can be automatically checked using a syntax checker. While these criteria still allow for enough generalization in the output state machine, they also harness overgeneralization as a challenge for automatic synthesis of state machines from scenarios.