FORMT: Form-based Mutation Testing of Logical Specifications

Andreas Faatz Andreas Zinnen

Published in: CoRR (2010)

Keyphrases

mutation testing
neural network
case study
database systems
computational complexity
database applications
specification language
data sets
test sequences
formal language
delay insensitive