Login / Signup
Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines.
Natalia Kushik
Jorge López
Ana R. Cavalli
Nina Yevtushenko
Published in:
QRS (2016)
Keyphrases
</>
finite state machines
model checking
finite state automata
lightweight
state machine
communication protocol
mutation testing
hidden markov models
regular expressions
security protocols
digital circuits
tcp ip
information extraction
software testing
formal verification
test sequences