Time for Mutants - Model-Based Mutation Testing with Timed Automata

B. K. Aichernig, F. Lorber, and D. Nickovic

Abstract:

Reference: B. K. Aichernig, F. Lorber, and D. Nickovic. Time for mutants - model-based mutation testing with timed automata. In M. Veanes and L. Viganò, editors, Tests and Proofs, volume 7942 of Lecture Notes in Computer Science, pages 20-38. Springer Berlin Heidelberg, 2013.