Login / Signup
On the synthesis of adaptive tests for nondeterministic finite state machines.
Maxim L. Gromov
Nina V. Evtushenko
Anton V. Kolomeets
Published in:
Program. Comput. Softw. (2008)
Keyphrases
</>
finite state machines
finite state automata
model checking
item response theory
mutation testing
hidden markov models
data sources
program synthesis
functional decomposition
data sets
reinforcement learning
statistical tests
test suite
initial state