Automatic Generation of Test Cases from Formal Specifications using Mutation Testing

Testing of complex software systems often needs the execution of thousand of tests cases to find errors in the code and to ensure high integrity systems. Hence, it requires the testing tasks to be automated. Test case execution entails establishing preconditions and input data, observing output results, and comparing those results with a given oracle. This work presents two contributions: it uses ...