MutaLog: A Tool for Mutating Logic Formulas

Assessing the quality of a test suite is an important step of the testing process. Indeed, it is necessary to ensure that the different test cases target all the critical parts of the system. Model-based testing is a famous technique to perform testing. It uses a model of the system under test. Most of these models include logic formulas. Such formulas encompasses constraints to be satisfied within a system, e.g., an expected behavior or particular conditions to be fulfilled at a given stage of the execution. One way to evaluate the quality of a test suite with respect to these logic constraints is to use mutation analysis. This technique has been proven to be effective for evaluating the quality of a test suite in both model-based and non-model-based testing. However, while many mutation analysis tools exist, none of them performs on logic formulas. Towards this direction, this paper introduces MutaLog, an open source tool which allows performing mutation analysis on logic formulas.