Mutation Testing with Hyperproperties.

Andreas Fellner Mitra Tabaei Befrouei Georg Weissenbacher

Published in: CoRR (2019)

Keyphrases

mutation testing
test sequences
database applications
test generation
test suite
test cases
integration testing
finite state machines
regression testing
black box
testing process
databases
data sets
image sequences
neural network
software testing
case study