Improving Model-Checkers for Software Testing

Gordon Fraser, Franz Wotawa

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

Original languageEnglish
Title of host publicationQuality Software, 2007. QSIC '07. Seventh International Conference on
PublisherIEEE Computer Society
Pages25-31
DOIs
Publication statusPublished - 2007

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this