Login / Signup
A Bounded Incremental Test Generation Algorithm for Finite State Machines.
Zoltán Pap
Mahadevan Subramaniam
Gábor Kovács
Gábor Árpád Németh
Published in:
TestCom/FATES (2007)
Keyphrases
</>
generation algorithm
finite state machines
test data generation
mutation testing
finite state automata
databases
model checking
data driven
incremental learning
data sets
test cases
regular expressions
test sequences
hidden markov models
co occurrence
black box