Mutation testing with hyperproperties.

Andreas Fellner Mitra Tabaei Befrouei Georg Weissenbacher

Published in: Softw. Syst. Model. (2021)

Keyphrases

mutation testing
test sequences
test generation
database applications
test suite
test cases
finite state machines
integration testing
testing process
case study
computer vision
hidden markov models
data model
data sets
database systems
high level
software testing
regression testing
artificial intelligence