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

Gordon Fraser, Franz Wotawa

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)161-183
JournalSoftware Quality Journal
Volume16
Issue number2
DOIs
Publication statusPublished - 2008

Treatment code (Nähere Zuordnung)

  • Theoretical

Projects

Cite this