Test-case prioritization with model-checkers

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

Originalsprache	englisch
Titel	IASTED International Conference on Software Engineering
Herausgeber (Verlag)	.
Seiten	?-?
Publikationsstatus	Veröffentlicht - 2007
Veranstaltung	IASTED International Conference on Software Engineering - Innsbruck, Österreich Dauer: 13 Feb. 2007 → 15 Feb. 2007

Konferenz	IASTED International Conference on Software Engineering
Land/Gebiet	Österreich
Ort	Innsbruck
Zeitraum	13/02/07 → 15/02/07

Treatment code (Nähere Zuordnung)

@inproceedings{6815fec88bd647358a73d6af66a3a2c4,

title = "Test-case prioritization with model-checkers",

author = "Gordon Fraser and Franz Wotawa",

year = "2007",

language = "English",

pages = "?--?",

booktitle = "IASTED International Conference on Software Engineering",

publisher = ".",

note = "IASTED International Conference on Software Engineering ; Conference date: 13-02-2007 Through 15-02-2007",

}