Login / Signup

A practical approach for testing timed deterministic finite state machines with single clock.

Khaled El-FakihNina YevtushenkoAdenilso Simão
Published in: Sci. Comput. Program. (2014)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • regular expressions
  • mutation testing
  • hidden markov models
  • black box
  • real time
  • databases
  • high speed
  • digital circuits