Creating Test-Cases Incrementally with Model-Checkers

Gordon Fraser, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 37th Annual Congress of the Gesellschaft fuer Informatik
Publisher.
Pages415-420
Publication statusPublished - 2007

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this

Fraser, G., & Wotawa, F. (2007). Creating Test-Cases Incrementally with Model-Checkers. In Proceedings of the 37th Annual Congress of the Gesellschaft fuer Informatik (pp. 415-420). ..

Creating Test-Cases Incrementally with Model-Checkers. / Fraser, Gordon; Wotawa, Franz.

Proceedings of the 37th Annual Congress of the Gesellschaft fuer Informatik. ., 2007. p. 415-420.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Fraser, G & Wotawa, F 2007, Creating Test-Cases Incrementally with Model-Checkers. in Proceedings of the 37th Annual Congress of the Gesellschaft fuer Informatik. ., pp. 415-420.
Fraser G, Wotawa F. Creating Test-Cases Incrementally with Model-Checkers. In Proceedings of the 37th Annual Congress of the Gesellschaft fuer Informatik. . 2007. p. 415-420
Fraser, Gordon ; Wotawa, Franz. / Creating Test-Cases Incrementally with Model-Checkers. Proceedings of the 37th Annual Congress of the Gesellschaft fuer Informatik. ., 2007. pp. 415-420
@inproceedings{ddd055a124a84ff8a2763b3687389fe1,
title = "Creating Test-Cases Incrementally with Model-Checkers",
author = "Gordon Fraser and Franz Wotawa",
year = "2007",
language = "English",
pages = "415--420",
booktitle = "Proceedings of the 37th Annual Congress of the Gesellschaft fuer Informatik",
publisher = ".",

}

TY - GEN

T1 - Creating Test-Cases Incrementally with Model-Checkers

AU - Fraser, Gordon

AU - Wotawa, Franz

PY - 2007

Y1 - 2007

M3 - Conference contribution

SP - 415

EP - 420

BT - Proceedings of the 37th Annual Congress of the Gesellschaft fuer Informatik

PB - .

ER -