 |
|
News |
Introduction
Program committee
Conference program
Presentations
Workshop program
Exhibition
Location
Contact
Social program
Slides of the presentations
During the conference it was asked whether the presentation slides would be available to the audience. As all authors agreed, we added the slides to the conference website. Enjoy!| Key notes |
"Model-driven Testing - Architecture, Interfaces and Tools" Alan Hartmann, Kenneth Nagin IBM Haifa, Israel "Relating and Exploiting Models in Model-Driven Development" Prof. Manfred Broy TU Munich, Germany | |
| Track 1 |
"Model-Based Testing with AsmL.Net" Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes Microsoft Research, USA "TorX: Automated Model Based Testing" Jan Tretmans, Ed Brinksma University of Nijmegen, University of Twente, Netherlands "UniTestK: Model Based Testing in Industrial Practice" Victor Kuliamin, Alexander Petrenko, Alexander Kossatchev, Igor Bourdonov Institute of System Programming of the Russian Academy of Science, Russia "A Java Tool Set for Software Testing Based on Markov Chain Usage Models" S.J. Prowell, W.T. Swain University of Tennessee, USA "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 | |
| Track 2 |
"Automatic Application PIM Generation for System Families" David Sellier, Jason Xabier Mansell ESI, Spain "Reusable UML Templates for Automated Business Processes" Tracy Gardner IBM UK, UK "A Formalism for Software Testing" Srihari Sukumaran, Ashok Sreenivas Tata Research Desing and Development Center, India "Results and Criteria for Successful Model Based Testing using Rule Based Python" Karl Donald, Mike Ricketts, Clive Stewart IBM UK, UK "Obstacle and Opportunities for Model-Based Testing in an Industrrial Environment" Harry Robinson Microsoft, USA |