Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints.

Bernhard K. Aichernig Elisabeth Jöbstl

Published in: ICST (2012)

Keyphrases

mutation testing
constraint language
test sequences
database
logic programming
data sets
derivation rules