Relating Counterexamples to Test Cases in CTL Model Checking Specifications

Duminda Wijesekera, Lingya Sun, Paul Ammann, Gordon Fraser

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

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
Publication statusPublished - 2007
EventThird Workshop on Advances in Model Based Testing (A-MOST 2007): A-MOST 2007 - London, United Kingdom
Duration: 9 Jul 200712 Jul 2007


WorkshopThird Workshop on Advances in Model Based Testing (A-MOST 2007)
Country/TerritoryUnited Kingdom

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this