A practical approach for testing timed deterministic finite state machines with single clock
El-FakihKhaled, YevtushenkoNina, SimaoAdenilso · Science of Computer Programming · 2014
Finite State Machines (FSMs) are widely used for verification and testing of many reactive systems and many methods are proposed for generating tests from FSMs with the guaranteed fault coverage. H...