Model-based mutation testing of hybrid systems

B. K. Aichernig, H. Brandl, E. Jöbstl, and W. Krenn

Abstract:

Reference: B. K. Aichernig, H. Brandl, E. Jöbstl, and W. Krenn. Model-based mutation testing of hybrid systems. In FMCO'09: Proceedings of the 8^th international conference on Formal methods for components and objects, pages 228-249, Berlin, Heidelberg, 2010. Springer-Verlag.