International Conference on Software Engineering Advances

Gordon Fraser (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis
Period31 Oct 2006
Held atInternational Conference on Software Engineering Advances
Event typeConference
LocationTahiti, French Polynesia