Combining Model Checking and Testing
Grammar-based whitebox fuzzing