2nd Workshop on Advances in Model-based Software Testing 2nd Workshop on Advances in Model-based Software Testing (A-MOST'06)

  • Gordon Fraser (Speaker)

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

Talk: Property Relevant Software Testing with Model-Checkers
Period7 Nov 2006
Event title2nd Workshop on Advances in Model-based Software Testing 2nd Workshop on Advances in Model-based Software Testing (A-MOST'06): A-MOST 2006
Event typeWorkshop
LocationRaleigh, United StatesShow on map