Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers

Publikation: Beitrag in einer Fachzeitschrift › Artikel

Originalsprache	englisch
Seiten (von - bis)	33-46
Fachzeitschrift	Electronic Notes in Theoretical Computer Science
Jahrgang	190
Ausgabenummer	2
Publikationsstatus	Veröffentlicht - 2007

Dieses zitieren

@article{48ba97edf44e4b9ca94e1c2df65194c3,

title = "Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers",

author = "Gordon Fraser and Bernhard Aichernig and Franz Wotawa",

year = "2007",

language = "English",

volume = "190",

pages = "33--46",

journal = "Electronic Notes in Theoretical Computer Science ",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "2",

}