Mutant Minimization for Model-Checker Based Test-Case Generation

Gordon Fraser, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationTesting: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007
Publisher.
Pages161-168
Publication statusPublished - 2007

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this

Fraser, G., & Wotawa, F. (2007). Mutant Minimization for Model-Checker Based Test-Case Generation. In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 (pp. 161-168). ..