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

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	33-46
Journal	Electronic Notes in Theoretical Computer Science
Volume	190
Issue number	2
Publication status	Published - 2007

Cite this

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

}