Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis

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

Originalsprache	englisch
Titel	International Conference on Software Engineering Advances
Herausgeber (Verlag)	.
Seiten	?-?
Publikationsstatus	Veröffentlicht - 2006
Veranstaltung	International Conference on Software Engineering Advances: ICSEA 2006 - Tahiti, Französisch-Polynesien Dauer: 29 Okt. 2006 → 3 Nov. 2006

Konferenz	International Conference on Software Engineering Advances
Land/Gebiet	Französisch-Polynesien
Ort	Tahiti
Zeitraum	29/10/06 → 3/11/06

Treatment code (Nähere Zuordnung)

@inproceedings{1dca01b092994fbe8a8224e859a8cc4d,

title = "Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis",

author = "Gordon Fraser and Franz Wotawa",

year = "2006",

language = "English",

pages = "?--?",

booktitle = "International Conference on Software Engineering Advances",

publisher = ".",

note = "International Conference on Software Engineering Advances : ICSEA 2006 ; Conference date: 29-10-2006 Through 03-11-2006",

}

TY - GEN

T1 - Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis

AU - Fraser, Gordon

AU - Wotawa, Franz

PY - 2006

Y1 - 2006

M3 - Conference paper

SP - ?-?

BT - International Conference on Software Engineering Advances

PB - .

T2 - International Conference on Software Engineering Advances

Y2 - 29 October 2006 through 3 November 2006

ER -