Efficient checking sequences for testing finite state machines.

Kemal Inan Hasan Ural

Published in: Inf. Softw. Technol. (1999)

Keyphrases

finite state machines
hidden markov models
finite state automata
cost effective
test sequences
mutation testing
high level
computationally efficient
test cases
databases
domain specific
np complete
regular expressions
test suite
software testing
digital circuits