Mutation Testing Publications
Search results for "ZhangXZTHM10", found 1 papers, 1 pages
| 1 | Lingming Zhang and Tao Xie and Lu Zhang and Nikolai Tillmann and Jonathan de Halleux and Hong Mei Test generation via Dynamic Symbolic Execution for mutation testing 26th {IEEE} International Conference on Software Maintenance {(ICSM} 2010), September 12-18, 2010, Timisoara, Romania, 2010. |
| BibTeX | Abstract | PDF | DOI | |
| Abstract: Available soon... | |
@INPROCEEDINGS{ZhangXZTHM10,
author = {Lingming Zhang and Tao Xie and Lu Zhang and Nikolai Tillmann and Jonathan de Halleux and Hong Mei},
title = {Test generation via Dynamic Symbolic Execution for mutation testing},
booktitle = {26th {IEEE} International Conference on Software Maintenance {(ICSM} 2010), September 12-18, 2010, Timisoara, Romania},
year = {2010},
address = {},
month = {},
pages = {1--10}
} |