5th Workshop on Model-Based Testing

  • Willibald Karl Krenn (Speaker)

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

Description

Talk: Test Case Generation by Contract Mutation in Spec#
Period22 Mar 2009
Event title5th Workshop on Model-Based Testing: MBT 2009
Event typeWorkshop
LocationYork, United KingdomShow on map