This abstract model is then used to automate the generation of test cases in a systematic way.
the generated test suite is typically guaranteed to meet some coverage criteria, thus providing additional assurance about the quality of tests.