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 contribution

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