Using LTL Rewriting to Improve the Performance of Model-Checker Based Test-Case Generation

Gordon Fraser, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the 3rd international workshop on Advances in model-based testing
Place of PublicationNew York, NY, USA
PublisherAssociation of Computing Machinery
Pages64-74
ISBN (Print)978-1-59593-850-3
Publication statusPublished - 2007

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Experimental

Cite this