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

Research output: Contribution to journalArticleResearch

Original languageEnglish
Pages (from-to)33-46
JournalElectronic Notes in Theoretical Computer Science
Volume190
Issue number2
Publication statusPublished - 2007

Cite this

Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. / Fraser, Gordon; Aichernig, Bernhard; Wotawa, Franz.

In: Electronic Notes in Theoretical Computer Science , Vol. 190, No. 2, 2007, p. 33-46.

Research output: Contribution to journalArticleResearch

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

}

TY - JOUR

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

AU - Fraser, Gordon

AU - Aichernig, Bernhard

AU - Wotawa, Franz

PY - 2007

Y1 - 2007

M3 - Article

VL - 190

SP - 33

EP - 46

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 2

ER -