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

Gordon Fraser (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

Talk: Relating Counterexamples to Test Cases in CTL Model Checking Specifications
Period9 Jul 2007
Held atThird Workshop on Advances in Model Based Testing (A-MOST 2007)
Event typeWorkshop