Strong higher order mutation-based test data generation
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution