Efficient Refinement Checking for Model-Based Mutation Testing

B. K. Aichernig and E. Jöbstl

Abstract:

Reference: B. K. Aichernig and E. Jöbstl. Efficient refinement checking for model-based mutation testing. In QSIC '12: Proceedings of the 2012 12^th International Conference on Quality Software, pages 21-30, Washington, DC, USA, 2012. IEEE Computer Society.