Mutant Minimization for Model-Checker Based Test-Case Generation

Gordon Fraser, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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