Relating Counterexamples to Test Cases in CTL Model Checking Specifications

Duminda Wijesekera; Lingya Sun; Paul Ammann; Gordon Fraser

Relating Counterexamples to Test Cases in CTL Model Checking Specifications

Duminda Wijesekera, Lingya Sun, Paul Ammann, Gordon Fraser

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of the 3rd international workshop on Advances in model-based testing
Place of Publication	New York, NY, USA
Publisher	Association of Computing Machinery
Pages	75-84
Publication status	Published - 2007
Event	Third Workshop on Advances in Model Based Testing (A-MOST 2007): A-MOST 2007 - London, United Kingdom Duration: 9 Jul 2007 → 12 Jul 2007

Workshop

Workshop	Third Workshop on Advances in Model Based Testing (A-MOST 2007)
Country/Territory	United Kingdom
City	London
Period	9/07/07 → 12/07/07

Treatment code (Nähere Zuordnung)

Theoretical

Testmethodik, Testmanagement und Zertifizierung (SN-P2)
Fraser, G., Wotawa, F. & Peischl, B. J.
1/05/06 → 31/12/10
Project: Research project
TE-DES - Systematic test case generation for safety-critical distributed embedded real time systems with different SIL level
Fraser, G. & Wotawa, F.
1/03/05 → 28/02/07
Project: Research project

Cite this

Relating Counterexamples to Test Cases in CTL Model Checking Specifications. / Wijesekera, Duminda; Sun, Lingya; Ammann, Paul et al.
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 proceeding › Conference paper › peer-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, Third Workshop on Advances in Model Based Testing (A-MOST 2007), London, United Kingdom, 9/07/07.

@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",

note = "Third Workshop on Advances in Model Based Testing (A-MOST 2007) : A-MOST 2007 ; Conference date: 09-07-2007 Through 12-07-2007",

}

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 paper

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

T2 - Third Workshop on Advances in Model Based Testing (A-MOST 2007)

Y2 - 9 July 2007 through 12 July 2007

ER -

Relating Counterexamples to Test Cases in CTL Model Checking Specifications

Workshop

Treatment code (Nähere Zuordnung)

Projects

Testmethodik, Testmanagement und Zertifizierung (SN-P2)

TE-DES - Systematic test case generation for safety-critical distributed embedded real time systems with different SIL level

Cite this