Mutant Minimization for Model-Checker Based Test-Case Generation

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007
Publisher	.
Pages	161-168
Publication status	Published - 2007

Treatment code (Nähere Zuordnung)

@inproceedings{97fc6e4e53db4bf5aba2cc06c7046618,

title = "Mutant Minimization for Model-Checker Based Test-Case Generation",

author = "Gordon Fraser and Franz Wotawa",

year = "2007",

language = "English",

pages = "161--168",

booktitle = "Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007",

publisher = ".",

}