Relating Counterexamples to Test Cases in CTL Model Checking Specifications

Duminda Wijesekera, Lingya Sun, Paul Ammann, Gordon Fraser

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelProceedings of the 3rd international workshop on Advances in model-based testing
ErscheinungsortNew York, NY, USA
Herausgeber (Verlag)Association of Computing Machinery
Seiten75-84
PublikationsstatusVeröffentlicht - 2007
Veranstaltung3rd Workshop on Advances in Model Based Testing: A-MOST 2007 - London, Großbritannien / Vereinigtes Königreich
Dauer: 9 Juli 200712 Juli 2007

Workshop

Workshop3rd Workshop on Advances in Model Based Testing
Land/GebietGroßbritannien / Vereinigtes Königreich
OrtLondon
Zeitraum9/07/0712/07/07

Treatment code (Nähere Zuordnung)

  • Theoretical

Dieses zitieren