Testing conformance of a deterministic implementation against a non-deterministic stream X-machine

An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

“…The first approach can lead to the state explosion problem: the size of the resultant state space is exponential in the number of variables. The second approach can suffer from the path feasibility problem since a path in the FSM formed by abstracting an EFSM may not correspond to an FTP in the original EFSM [58]. The approaches that abstract the EFSM to produce an FSM are part of the motivation for the work in this paper: we may be able to adapt these approaches to use the proposed feasibility metric.…”

Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)

“…The limitation of this approach is that the paths taken from the FSM model are not necessarily feasible in the EFSM. The second approach is to expand an EFSM to form an FSM, however, the number of states in the resultant FSM can become prohibitively large [30].…”

Testing timed systems modeled by Stream X-machines

“…In further optimizations, this method has been modified to reduce the imposed conditions (e.g. [21,5,22]). As we have already explained, due to the fact that we remove most of the restrictions on machines, we cannot apply the previously mentioned methodologies to our extension of Stream X-machines.…”