Nondeterministic Testing with Linear Model-Checker Counterexamples

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
Pages107-116
ISBN (Print)978-0-7695-3035-2
DOIs
Publication statusPublished - 2007
EventInternational Conference on Quality Software - Portland, United States
Duration: 11 Oct 200712 Oct 2007

Conference

ConferenceInternational Conference on Quality Software
CountryUnited States
CityPortland
Period11/10/0712/10/07

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this