Test Generation via Dynamic Symbolic Execution for Mutation Testing
Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, and Hong Mei
September 2010
In Proceedings of the 26th IEEE International Conference on Software Maintenance
Details
| Type | Inproceedings |