Search
Now showing items 1-1 of 1
Assessing test suites of extended finite state machines against model and code based faults
(John Wiley & Sons, 2021)
Tests can be derived from extended finite state machine (EFSM) specifications considering the coverage of single-transfer faults, all transitions using a transition tour, all-uses, edge-pair, and prime path with side trip. ...