Multiple Mutation Testing from Finite State Machines with Symbolic Inputs.

Omer Nguena-Timo Alexandre Petrenko S. Ramesh

Published in: ICTSS (2017)

Keyphrases

mutation testing
finite state machines
test sequences
database applications
test generation
test suite
model checking
test cases
finite state automata
database systems
hidden markov models
high level
decision trees
integration testing
learning algorithm
video sequences
three dimensional
computer vision