Third Workshop on Mutation Analysis (Mutation 2007)

Gordon Fraser (Speaker)

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

Description

Talk: Mutant Minimization for Model-Checker Based Test-Case Generation
Period10 Sep 2007
Held atThird Workshop on Mutation Analysis (Mutation 2007)
Event typeWorkshop