Mutant Minimization for Model-Checker Based Test-Case Generation

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007
Herausgeber (Verlag)	.
Seiten	161-168
Publikationsstatus	Veröffentlicht - 2007

Treatment code (Nähere Zuordnung)

Testmethodik, Testmanagement und Zertifizierung (SN-P2)
Fraser, G. (Teilnehmer (Co-Investigator)), Wotawa, F. (Teilnehmer (Co-Investigator)) & Peischl, B. J. (Projektleiter (Principal Investigator))
1/05/06 → 31/12/10
Projekt: Forschungsprojekt
TE-DES - Systematische Testfallgenerierung für sicherheitskritische verteilte eingebettete Echtzeitsysteme mit unterschiedlichem SIL-Level
Fraser, G. (Teilnehmer (Co-Investigator)) & Wotawa, F. (Projektleiter (Principal Investigator))
1/02/05 → 28/02/07
Projekt: Forschungsprojekt

@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 = ".",

}