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 F. S. de Boer, M. M. Bonsangue, S. Hallerstede, and M. Leuschel, editors, Formal Methods for Components and Objects - 8^th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers, volume 6286 of Lecture Notes in Computer Science, pages 228-249. Springer-Verlag, 2010.