Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis

Gordon Fraser, Franz Wotawa

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

Original languageEnglish
Title of host publicationInternational Conference on Software Engineering Advances
Publisher.
Pages?-?
Publication statusPublished - 2006
EventInternational Conference on Software Engineering Advances - Tahiti, French Polynesia
Duration: 29 Oct 20063 Nov 2006

Conference

ConferenceInternational Conference on Software Engineering Advances
CountryFrench Polynesia
CityTahiti
Period29/10/063/11/06

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Basic - Fundamental (Grundlagenforschung)

Cite this

Fraser, G., & Wotawa, F. (2006). Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis. In International Conference on Software Engineering Advances (pp. ?-?). ..

Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis. / Fraser, Gordon; Wotawa, Franz.

International Conference on Software Engineering Advances. ., 2006. p. ?-?.

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

Fraser, G & Wotawa, F 2006, Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis. in International Conference on Software Engineering Advances. ., pp. ?-?, International Conference on Software Engineering Advances, Tahiti, French Polynesia, 29/10/06.
Fraser G, Wotawa F. Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis. In International Conference on Software Engineering Advances. . 2006. p. ?-?
Fraser, Gordon ; Wotawa, Franz. / Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis. International Conference on Software Engineering Advances. ., 2006. pp. ?-?
@inproceedings{1dca01b092994fbe8a8224e859a8cc4d,
title = "Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis",
author = "Gordon Fraser and Franz Wotawa",
year = "2006",
language = "English",
pages = "?--?",
booktitle = "International Conference on Software Engineering Advances",
publisher = ".",

}

TY - GEN

T1 - Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis

AU - Fraser, Gordon

AU - Wotawa, Franz

PY - 2006

Y1 - 2006

M3 - Conference contribution

SP - ?-?

BT - International Conference on Software Engineering Advances

PB - .

ER -