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

B. K. Aichernig and E. Jöbstl

Abstract:

Reference: B. K. Aichernig and E. Jöbstl. Towards symbolic model-based mutation testing: Pitfalls in expressing semantics as constraints. In Workshops Proc. of the IEEE 5^th Int. Conf. on Software Testing, Verification and Validation (ICST 2012), pages 752-757. IEEE Computer Society, 2012.