Mutation Testing Publications
Search results for "fraser_SQJ_08", found 1 papers, 1 pages
| 1 | Gordon Fraser and Franz Wotawa Using model-checkers to generate and analyze property relevant test-cases Software Quality Journal, 16(2), 2008. |
| BibTeX | Abstract | PDF | DOI | |
| Abstract: Available soon... | |
@ARTICLE{fraser_SQJ_08,
author = {Gordon Fraser and Franz Wotawa},
title = {Using model-checkers to generate and analyze property relevant test-cases},
journal = {Software Quality Journal},
year = {2008},
month = {},
volume = {16},
number = {2},
pages = {161--183}
} |