Testing from Partial Deterministic FSM Specifications.

Alexandre Petrenko Nina Yevtushenko

Published in: IEEE Trans. Computers (2005)

Keyphrases

finite state machines
high level
formal specification
delay insensitive
databases
information systems
test set
software testing
real time
neural network
real world
website
web services
test cases
black box