Using model-checkers to generate and analyze property relevant test-cases

Gordon Fraser, Franz Wotawa

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Pages (from-to)161-183
JournalSoftware quality journal
Volume16
Issue number2
DOIs
Publication statusPublished - 2008

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this

Using model-checkers to generate and analyze property relevant test-cases. / Fraser, Gordon; Wotawa, Franz.

In: Software quality journal, Vol. 16, No. 2, 2008, p. 161-183.

Research output: Contribution to journalArticleResearchpeer-review

@article{ddcc60ee0bc348938f86a29eb773277b,
title = "Using model-checkers to generate and analyze property relevant test-cases",
author = "Gordon Fraser and Franz Wotawa",
year = "2008",
doi = "10.1007/s11219-007-9031-6",
language = "English",
volume = "16",
pages = "161--183",
journal = "Software quality journal",
issn = "0963-9314",
publisher = "Springer New York",
number = "2",

}

TY - JOUR

T1 - Using model-checkers to generate and analyze property relevant test-cases

AU - Fraser, Gordon

AU - Wotawa, Franz

PY - 2008

Y1 - 2008

U2 - 10.1007/s11219-007-9031-6

DO - 10.1007/s11219-007-9031-6

M3 - Article

VL - 16

SP - 161

EP - 183

JO - Software quality journal

JF - Software quality journal

SN - 0963-9314

IS - 2

ER -