Login / Signup
New approaches for passive testing using an Extended Finite State Machine specification.
Ana R. Cavalli
Caroline Gervy
Svetlana Prokopenko
Published in:
Inf. Softw. Technol. (2003)
Keyphrases
</>
finite state machines
high level
strengths and weaknesses
state transition
state machine
finite state automata
neural network
relational databases
query language
hardware implementation
formal verification
code generation