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
Event titleThird Workshop on Advances in Model Based Testing (A-MOST 2007): A-MOST 2007
Event typeWorkshop
LocationLondon, United Kingdom