BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20120327T054500Z
DTEND:20120328T133000Z
DCREATED:20120217T091000Z
UID:ATEvent-40f2d66999eeb8f6910df2c221dab56b
SEQUENCE:0
LAST-MODIFIED:20120430T052335Z
SUMMARY:Model-Based Testing
DESCRIPTION:Model-based testing is increasing its popularity as an ind
 ustrial strength testing method for complex systems. Its abilities to 
 automate the laborious test design phase and to achieve higher coverag
 e than conventional testing methods are important drivers in this resp
 ect. \nMoreover\, model-based testing has proved to be an effective bu
 g finding method. However\, there are issues especially on the modelin
 g side that still need a lot of research. The goal of this seminar is 
 to review different approaches to this technology and discuss the pros
  and cons of solutions behind tools such as fMBT\, OSMO and TEMA.
LOCATION:Väinö Linnan aukio 8\, Tampere
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR