Third Workshop on Advances in Model Based Testing (A-MOST 2007)

Gordon Fraser (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

Talk: Using LTL Rewriting to Improve the Performance of Model-Checker Based Test-Case Generation
Zeitraum9 Jul 2007
EreignistitelThird Workshop on Advances in Model Based Testing (A-MOST 2007)
VeranstaltungstypWorkshop