Property relevant software testing with model-checkers

Gordon Fraser, Franz Wotawa

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

Original languageEnglish
Title of host publicationInternational Workshop on Advances in Model-based Testing
Publisher.
Pages?-?
Publication statusPublished - 2006
Event2nd Workshop on Advances in Model-based Software Testing 2nd Workshop on Advances in Model-based Software Testing (A-MOST'06): A-MOST 2006 - Raleigh, United States
Duration: 7 Nov 2006 → …

Workshop

Workshop2nd Workshop on Advances in Model-based Software Testing 2nd Workshop on Advances in Model-based Software Testing (A-MOST'06)
Abbreviated titleA-MOST'06
CountryUnited States
CityRaleigh
Period7/11/06 → …

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this