Creating Test-Cases Incrementally with Model-Checkers

Gordon Fraser, Franz Wotawa

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

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