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 contributionResearchpeer-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
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

Wijesekera, D., Sun, L., Ammann, P., & Fraser, G. (2007). Relating Counterexamples to Test Cases in CTL Model Checking Specifications. In Proceedings of the 3rd international workshop on Advances in model-based testing (pp. 75-84). New York, NY, USA: Association of Computing Machinery.

Relating Counterexamples to Test Cases in CTL Model Checking Specifications. / Wijesekera, Duminda; Sun, Lingya; Ammann, Paul; Fraser, Gordon.

Proceedings of the 3rd international workshop on Advances in model-based testing. New York, NY, USA : Association of Computing Machinery, 2007. p. 75-84.

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

Wijesekera, D, Sun, L, Ammann, P & Fraser, G 2007, Relating Counterexamples to Test Cases in CTL Model Checking Specifications. in Proceedings of the 3rd international workshop on Advances in model-based testing. Association of Computing Machinery, New York, NY, USA, pp. 75-84, Advances in Model Based Testing (A-MOST 2007), London, United Kingdom, 9/07/07.
Wijesekera D, Sun L, Ammann P, Fraser G. Relating Counterexamples to Test Cases in CTL Model Checking Specifications. In Proceedings of the 3rd international workshop on Advances in model-based testing. New York, NY, USA: Association of Computing Machinery. 2007. p. 75-84
Wijesekera, Duminda ; Sun, Lingya ; Ammann, Paul ; Fraser, Gordon. / Relating Counterexamples to Test Cases in CTL Model Checking Specifications. Proceedings of the 3rd international workshop on Advances in model-based testing. New York, NY, USA : Association of Computing Machinery, 2007. pp. 75-84
@inproceedings{0aec6933edfb478d990224c8a8e1c3ce,
title = "Relating Counterexamples to Test Cases in CTL Model Checking Specifications",
author = "Duminda Wijesekera and Lingya Sun and Paul Ammann and Gordon Fraser",
year = "2007",
language = "English",
pages = "75--84",
booktitle = "Proceedings of the 3rd international workshop on Advances in model-based testing",
publisher = "Association of Computing Machinery",
address = "United States",

}

TY - GEN

T1 - Relating Counterexamples to Test Cases in CTL Model Checking Specifications

AU - Wijesekera, Duminda

AU - Sun, Lingya

AU - Ammann, Paul

AU - Fraser, Gordon

PY - 2007

Y1 - 2007

M3 - Conference contribution

SP - 75

EP - 84

BT - Proceedings of the 3rd international workshop on Advances in model-based testing

PB - Association of Computing Machinery

CY - New York, NY, USA

ER -