Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei. Test generation via Dynamic Symbolic Execution for mutation testing. In 26th IEEE International Conference on Software Maintenance (ICSM 2010), September 12-18, 2010, Timisoara, Romania. pages 1-10, IEEE Computer Society, 2010. [doi]
Abstract is missing.