Using model-checkers to generate and analyze property relevant test-cases

Gordon Fraser, Franz Wotawa

Publikation: Beitrag in einer FachzeitschriftArtikelBegutachtung

Originalspracheenglisch
Seiten (von - bis)161-183
FachzeitschriftSoftware Quality Journal
Jahrgang16
Ausgabenummer2
DOIs
PublikationsstatusVeröffentlicht - 2008

Treatment code (Nähere Zuordnung)

  • Theoretical

Dieses zitieren