Automatic Mutation Test Case Generation via Dynamic Symbolic Execution
Symbolic execution and program testing