ITG Workshop
Model-Based Testing

MMB

Tuesday, March 28, 2006

9:30 - 10:30

Invited Talk

Jan Tretmanns (University of Nijmegen, The Netherlands)
Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability
Raum H5
10:30 - 11:00

Coffee Break

11:00 - 12:30

MBT Workshop Session 1

  • Workshop Opening
  • Guy Collins Ndem, Ina Schieferdecker, Hajo Eichler and Alain Vouffo-Feudjio (Fraunhofer FOKUS and Technical University Berlin, Germany)
    System tests for Enterprise JavaBeans and Java based Applications with TTCN-3
  • Ariel Sabiguero (Universidad de la Republica, Montevideo, Uruguay), Anthony Baire and Cesar Viho (IRISA Laboratories/INRIA, France)
    Embeding traffic capturing and analysis extensions into TTCN-3 System Adaptor
Raum 2.429
12:30 - 14:00

Lunch Break

14:00 - 15:30

MBT Workshop Session 2

  • Matthias Biegel (University of Erlangen, Germany)
    Statistical testing of DECT modules
  • Henrik Bohnenkamp and Axel Belinfante (RWTH Aachen, Germany and University of Twente, The Netherlands)
    Timed Testing with TorX
Raum 2.429
15:30 - 16:00

Coffee Break

16:00 - 17:30

MBT Workshop Discussion and Closing Session

Raum 2.429