Model-based mutation testing via symbolic refinement checking.

Bernhard K. Aichernig Elisabeth Jöbstl Stefan Tiran

Published in: Sci. Comput. Program. (2015)

Keyphrases

mutation testing
test sequences
database applications
test generation
test suite
integration testing
database
test cases
symbolic representation
data sets
training data
computational complexity
open source
finite state machines
testing process