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)

Cite this

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

Property relevant software testing with model-checkers. / Fraser, Gordon; Wotawa, Franz.

International Workshop on Advances in Model-based Testing. ., 2006. p. ?-?.

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

Fraser, G & Wotawa, F 2006, Property relevant software testing with model-checkers. in International Workshop on Advances in Model-based Testing. ., pp. ?-?, International Workshop on Advances in Model-based Testing, Raleigh, NC, United States, 7/11/06.
Fraser G, Wotawa F. Property relevant software testing with model-checkers. In International Workshop on Advances in Model-based Testing. . 2006. p. ?-?
Fraser, Gordon ; Wotawa, Franz. / Property relevant software testing with model-checkers. International Workshop on Advances in Model-based Testing. ., 2006. pp. ?-?
@inproceedings{7e8ca650064c4971b40949a19b1e4568,
title = "Property relevant software testing with model-checkers",
author = "Gordon Fraser and Franz Wotawa",
year = "2006",
language = "English",
pages = "?--?",
booktitle = "International Workshop on Advances in Model-based Testing",
publisher = ".",

}

TY - GEN

T1 - Property relevant software testing with model-checkers

AU - Fraser, Gordon

AU - Wotawa, Franz

PY - 2006

Y1 - 2006

M3 - Conference contribution

SP - ?-?

BT - International Workshop on Advances in Model-based Testing

PB - .

ER -