automated coverage - driven testing : combining symbolic execution and model checking .
Combining symbolic execution and model checking for data flow testing