Test Generation via Dynamic Symbolic Execution for Mutation Testing

Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, and Hong Mei

Details

Publication typeInproceedings
Published inProceedings of the 26th IEEE International Conference on Software Maintenance
> Publications > Test Generation via Dynamic Symbolic Execution for Mutation Testing