Model-Based Testing

Model-based testing is increasing its popularity as an industrial strength testing method for complex systems. Its abilities to automate the laborious test design phase and to achieve higher coverage than conventional testing methods are important drivers in this respect. Moreover, model-based testing has proved to be an effective bug finding method. However, there are issues especially on the modeling 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.


Työväenmuseo Werstas, Väinö Linnan aukio 8, Tampere.
Auditorio on 1st floor.


Dr, Antti Jääskeläinen, Teaching Associate (Tampere University of Technology)
Dr. Teemu Kanstrén, Senior Research Scientist (VTT)
Dr. Antti Kervinen, Senior Linux Software Engineer (Intel)
Mr. Szilárd Széll, Business Improvement Manager (Nokia Siemens Networks)
Dr. Dragos Truscan, Adjunt Professor (Åbo Akademi University)

Organizer: Dr. Mika Katara, Assoc. Prof (Tampere University of Technology)


This seminar is free-of-charge for member organization's staff and their PhD-students.
For others participation fee is 700 €.


Tue 27th, Day 1

08:45 Opening (Katara)
9:00 Session 1: GUI testing (Katara 30min, Jääskeläinen 60min)
10:30 Coffee break
10:45 Session 2: Domain-spesific modeling for test (Kanstrén)
12:15 Lunch break
13:15 Session 3: System and unit testing (Kervinen)
14:45 Coffee break
15:00 Session 4: MTB - Industry needs and expectations (Széll)
16:30 Closing

Wed 28th, Day 2

09:00 Session 1: UML-based test modeling (Truscan)
10:30 Coffee break
10:45 Session 2: Continued from day 1 (Jääskeläinen 45 min, kervinen 45 min)
12:15 Lunch break
13:15 Session 3: Continued (Truscan 45 min, Kanstrén 45 min)
14:45 Coffee break
15:00 Panel discussion (all presenters)
16:30 Closing

Lunch & dinner information

Lunch and dinner are not included in the seminar fee. Lunch at Ziberia is 7,65e and the group menus for the dinner vary between 30 and 50 euros (without drinks).


The doctoral student participating in the seminar can obtain one credit point. This requires participating on both days and writing a 1000-word essay on the topic announced in the beginning of the seminar. Deadline for the essay is on 2nd of April at 12:00.