International Conference on Software Engineering Advances (ICSEA'07)

  • Gordon Fraser (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Zeitraum29 Aug. 2007
Ereignistitel2nd International Conference on Software Engineering Advances: ICSEA 2007
VeranstaltungstypKonferenz
OrtCap Esterel, FrankreichAuf Karte anzeigen