International Conference on Software Engineering Advances (ICSEA'07)

Gordon Fraser (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Period29 Aug 2007
Held atInternational Conference on Software Engineering Advances (ICSEA'07)
Event typeConference