Formal testing from timed finite state machines.

Mercedes G. Merayo Manuel Núñez Ismael Rodríguez

Published in: Comput. Networks (2008)

Keyphrases

finite state machines
model checking
finite state automata
formal specification
mutation testing
regular expressions
formal methods
timed automata
software testing
digital circuits
hidden markov models
semi automatic
test cases
image quality
object oriented
regression testing
databases