Gábor Árpád Németh

Model-based mutation testing for Finite State Machine specifications with MTR

In this article a model-based mutation testing technique has been introduced to a free and open-source modelbased testing framework. The approach utilizes test suites that are generated with various test generation algorithms. It is investigated how efficient the resulting test suites are killing different types of mutations and their respective complexity. Guidelines are proposed to select the appropriate test generation methods for each mutation operator type independently. Using the ability to define a target score, the wide range of mutation generation and test generation options, one can create an appropriate trade off between fault coverage and test execution complexity.

Reference:

DOI: 10.36244/ICJ.2025.3.10

Download 

Please cite this paper the following way:

Gábor Árpád Németh "Model-based mutation testing for Finite State Machine specifications with MTR", Infocommunications Journal, Vol. XVII, No 3, September 2025, pp. 84-91., https://doi.org/10.36244/ICJ.2025.3.10