Improving Model-Checkers for Software Testing

Gordon Fraser, Franz Wotawa

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

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

Fraser, G., & Wotawa, F. (2007). Improving Model-Checkers for Software Testing. In Quality Software, 2007. QSIC '07. Seventh International Conference on (pp. 25-31). IEEE Computer Society. https://doi.org/10.1109/QSIC.2007.4385477