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

Conference

ConferenceAdvances in Model Based Testing (A-MOST 2007)
CountryUnited Kingdom
CityLondon
Period9/07/0712/07/07

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this