5th Workshop on Model-Based Testing

Willibald Karl Krenn (Speaker)

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

Description

Talk: Test Case Generation by Contract Mutation in Spec#
Period22 Mar 2009
Held at5th Workshop on Model-Based Testing
Event typeWorkshop