Test Generation via Dynamic Symbolic Execution for Mutation Testing

In  Proceedings of the 26th IEEE International Conference on Software Maintenance

Details

TypeInproceedings
> Publications > Test Generation via Dynamic Symbolic Execution for Mutation Testing