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 presentationTalk at workshop, seminar or courseScience to science

Description

Talk: Property Relevant Software Testing with Model-Checkers
Period7 Nov 2006
Held at2nd Workshop on Advances in Model-based Software Testing 2nd Workshop on Advances in Model-based Software Testing (A-MOST'06)
Event typeWorkshop