Automatic Mutation Test Case Generation via Dynamic Symbolic Execution
An Analysis and Survey of the Development of Mutation Testing