Techniques -- Using Model Checking for Reducing the Cost of Test Generation --