 |
|
News |
Introduction
Program committee
Conference program
Presentations
Workshop program
Exhibition
Location
Contact
Social program
Conference Program - Thursday, December 11, 2003 -
| 09:00 |
Opening Address Vassilis Kopanas, EC-IST |
|
||
| 09:15 |
Keynote I Model Driven Testing - Architecture, Interfaces and Tools Alan Hartman, IBM Haifa |
|||
| 10:15 |
Model-Based Testing with AsmL.Net; Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes; Microsoft Research, U.S.A. |
Automatic Application PIM Generation for System Families; David Sellier, Jason Xabier Mansell; European Software Institute, Spain |
||
| 11:00 | Coffee Break | |||
| 11:30 |
TorX: Automated Model Based Testing; Jan Tretmans, Ed Brinksma; University of Nijmegen, University of Twente, Netherlands |
Reusable UML Templates for Automated Business Processes; Tracy Gardner, IBM UK, UK |
||
| 12:15 |
UniTesK: Model Based Testing in Industrial Practice Victor Kuliamin, Alexander Petrenko, Alexander Kossatchev, Igor Bourdonov; Institute of System Programming of the Russian Academy of Sciences, Russia |
A Formalism for Software Testing; Srihari Sukumaran, Ashok Sreenivas; Tata Research Design and Development Center, India |
||
| 13:00 | Lunch Break | |||
| 14:30 |
Keynote II Relating and Exploiting Models in Model-Driven Development Prof. Manfred Broy, TU Munich |
|||
| 15:30 |
A Java Tool Set for Software Testing Based on Markov Chain Usage Models; S.J. Prowell, W.T. Swain; University of Tennessee, U.S.A. |
Results and criteria for successful model based testing using Rule Based Python; Karl Donald, Mike Ricketts, Clive Stewart; IBM UK, UK |
||
| 16:15 |
Coffee Break |
|||
| 16:45 |
AGEDIS Case Studies: Model-Based Testing in Industry; Ian Craggs, Manolis Sardis, Thierry Heuillard; IBM UK, UK; INTRASOFT International, Greece; France Telecom R&D, France |
Obstacles and opportunities for model-based testing in an industrial software environment; Harry Robinson; Microsoft, U.S.A. |
||
| 17:30 |
Panel Discussion "Will model-based testing succeed in the real world?" |
|||
| 18:00 |
Closing remarks (Alan Hartman) |
|||