International Conference on Software Engineering Advances (ICSEA'07)

  • Gordon Fraser (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Period29 Aug 2007
Event titleInternational Conference on Software Engineering Advances (ICSEA'07): ICSEA 2007
Event typeConference
LocationCap Esterel, FranceShow on map