Refinement in Finite State Machine Testing.

Florentin Ipate Tudor Balanescu

Published in: Fundam. Informaticae (2005)

Keyphrases

finite state machines
model checking
state machine
finite state automata
mutation testing
regular expressions
state transition
digital circuits
test suite
relational databases
xml documents
state space
data warehouse
test cases