Creating Test-Cases Incrementally with Model-Checkers

Gordon Fraser, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Projects

Testmethodik, Testmanagement und Zertifizierung (SN-P2)

Fraser, G., Wotawa, F. & Peischl, B. J.

1/05/0631/12/10

Project: Research project

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). ..