automated coverage - driven testing : combining symbolic execution and model checking .
A Survey on Data-Flow Testing