Mutant Minimization for Model-Checker Based Test-Case Generation

Gordon Fraser, Franz Wotawa

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelTesting: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007
Herausgeber (Verlag).
Seiten161-168
PublikationsstatusVeröffentlicht - 2007

Treatment code (Nähere Zuordnung)

  • Theoretical

Dieses zitieren

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 (S. 161-168). ..