Mutation testing for DSLs (tool demo)

Abstract

Mutation testing (MT) is a well-known technique to evaluate and improve the quality of a given test-suite. While several MT tools exist for traditional programming languages, there is no common method to take advantage of MT in the case of domain-specific languages (DSLs). The current MT tools for DSLs are created ad-hoc, incurring in a high cost. To improve this situation, in this demo-paper we present Wodel-Test, a domain-independent tool to synthesize MT tools for arbitrary DSLs, and illustrate its usefulness by creating a MT tool for Finite Automata.