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

Bernhard K. Aichernig, Elisabeth Jbstl

Browse the full ICST paper archive.