Property relevant software testing with model-checkers

Gordon Fraser, Franz Wotawa

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

Original languageEnglish
Title of host publicationInternational Workshop on Advances in Model-based Testing
Publisher.
Pages?-?
Publication statusPublished - 2006
EventInternational Workshop on Advances in Model-based Testing - Raleigh, NC, United States
Duration: 7 Nov 2006 → …

Conference

ConferenceInternational Workshop on Advances in Model-based Testing
CountryUnited States
CityRaleigh, NC
Period7/11/06 → …

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Projects

Cite this

Fraser, G., & Wotawa, F. (2006). Property relevant software testing with model-checkers. In International Workshop on Advances in Model-based Testing (pp. ?-?). ..