Model-based mutation testing of reactive systems: from semantics to automated test-case generation

B. K. Aichernig

Abstract:

Reference: B. K. Aichernig. Model-based mutation testing of reactive systems: from semantics to automated test-case generation. In Theories of Programming and Formal Methods, Lecture Notes in Computer Science, pages 23-36. Springer-Verlag, Berlin, Heidelberg, 2013.