Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

Bernhard K. Aichernig Elisabeth Jöbstl

Published in: MBT (2012)

Keyphrases

mutation testing
connectionist learning
test sequences
data sets
high level
state space
neural network
transitive closure
test cases
finite state machines
symbolic representation
test suite
multi agent systems
test generation
support vector
high quality
machine learning