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

Gordon Fraser (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

Talk: Relating Counterexamples to Test Cases in CTL Model Checking Specifications
Zeitraum9 Jul 2007
EreignistitelThird Workshop on Advances in Model Based Testing (A-MOST 2007)
VeranstaltungstypWorkshop