![Distinguishing extended finite state machine configurations using predicate abstraction | Journal of Software Engineering Research and Development | Full Text Distinguishing extended finite state machine configurations using predicate abstraction | Journal of Software Engineering Research and Development | Full Text](https://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs40411-016-0027-4/MediaObjects/40411_2016_27_Fig2_HTML.gif)
Distinguishing extended finite state machine configurations using predicate abstraction | Journal of Software Engineering Research and Development | Full Text
![Extended Finite State Machine Based Test Derivation Driven by User Defined Faults | Semantic Scholar Extended Finite State Machine Based Test Derivation Driven by User Defined Faults | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/ea7fbeb9643f8a51f9ad45dbeec41c0c07faa932/9-Figure3-1.png)
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults | Semantic Scholar
![Extended Finite State Machine Based Test Derivation Driven by User Defined Faults | Semantic Scholar Extended Finite State Machine Based Test Derivation Driven by User Defined Faults | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/ea7fbeb9643f8a51f9ad45dbeec41c0c07faa932/3-Figure1-1.png)