Mutation Testing Publications
Search results for "dan_ICSTW_12", found 1 papers, 1 pages
| 1 | Haitao Dan and Robert M. Hierons {SMT-C:} {A} Semantic Mutation Testing Tools for {C} Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012. |
| BibTeX | Abstract | PDF | DOI | |
| Abstract: Available soon... | |
@INPROCEEDINGS{dan_ICSTW_12,
author = {Haitao Dan and Robert M. Hierons},
title = {{SMT-C:} {A} Semantic Mutation Testing Tools for {C}},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
year = {2012},
address = {},
month = {},
pages = {654--663}
} |