Using and improving requirement properties for mutation based test-case generation. 22

Automated test-case generation is expected to significantly improve software development, where a considerable part of the effort involved is devoted to testing. Many solutions have been proposed, differing on the methods and tools involved. Approaches based on the utilization of model-checkers have been shown to be very promising. This paper presents such an approach, incorporating ideas of mutation testing. The resulting test-cases can be directly mapped to requirement properties. We show that this approach can also be used to identify incompleteness and potential errors in the re-quirements specification. Empirical results are provided to demonstrate the feasibility of this approach