System level mutation analysis applied to a state-based language
One of the great challenges within software testing is to know ira test suite covers a program sufficiently. Mutation analysis is presented as an approach to address that challenge. Faulty versions, or mutants, are created and it is investigated if the test suite is able to discover the defects. The technique is mostly applied to the unit level testing of software programs. In this paper, mutation