Ali Ataollahi

Generalizing Featured Finite State Machines Constructed by Model Merging

2024

A family-based behavioral model represents the behavior of a software product line (SPL) as a whole. A well-known type of these models is the Featured Finite State Machine (FFSM), which is an FSM whose states …