Mutation Testing with Hyperproperties.

Andreas Fellner Mitra Tabaei Befrouei Georg Weissenbacher

Published in: SEFM (2019)

Keyphrases

mutation testing
test sequences
database applications
test generation
test suite
integration testing
test cases
finite state machines
testing process
databases
object oriented
database management systems
database
neural network
database systems
image quality