Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

B. K. Aichernig and E. Jöbstl

Abstract:

Reference: B. K. Aichernig and E. Jöbstl. Towards symbolic model-based mutation testing: Combining reachability and refinement checking. In 7th Workshop on Model-Based Testing (MBT 2012), volume 80 of EPTCS, pages 88-102, 2012.