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 Juli 2007
Ereignistitel3rd Workshop on Advances in Model Based Testing: A-MOST 2007
VeranstaltungstypWorkshop
OrtLondon, Großbritannien / Vereinigtes KönigreichAuf Karte anzeigen