09:00-10:30 Model-Based Testing (Chair: Fevzi Belli)

-                   Leila Naslavsky, Hadar Ziv and Debra Richardson. Using Model Transformation to Support Model-Based Test Coverage Measurement

-                   W. Eric Wong, Andy Restrepo, Yu Qi and Byoungju Choi. An EFSM-based Test  

Generation for Validation of SDL Specifications  

-                   Harald Brandl, Gordon Fraser and Franz Wotawa. QR-Model Based Testing (Short)

-                   Arilo Dias Neto and Guilherme Travassos. Supporting the Selection of Model-based Testing Approaches for Software Projects (Short)

10:30-11:00 Coffee Break

11:00-12:30 Test Generation (Chair: Franz Wotawa)

-                   J. Jenny Li, David Weiss and Howell Yee. An Automatically-Generated Run-

Time Instrumenter to Reduce Coverage Testing Overhead

-                   Svetoslav Ganov, Chip Killmar, Sarfraz Khurshild and Dewayne Perry. Test Generation for  Graphical User Interfaces Based on Symbolic Execution

-                   Jacques Julliand, Pierre-Alain Masson and Regis Tissot. Generating Security

Tests in Addition to Functional Tests (Short)

-                   Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard and Fabien Peureux. A Test Generation Solution to Automate Software Testing (Short)

12:30-14:00 Lunch

14:00-15:30 Instrumentation, Frames, Automation (Chair: Jenny Li)

-                    Ning Zhong, Zhihai Zhuo and Jing-ming Kuang. A Generic Formal framework for Protocol Interoperability Test and Test Cases Minimization

-                   Christian Pfaller. Requirements-Based Test Case Specification by Using Information from Model Construction  

-                   Dave Arnold and Jean-Pierre Corriveau. An Open Framework for the Specification and Execution of Conformance Tests using Scenarios (Short)

-                   Heiko Stallbaum, Andreas Metzger and Klaus Pohl. An Automated Technique for Risk-based Test Case Generation and Prioritization (Short)

15.:30-16:00 Coffee Break

16:00-17:30 Evaluation and Simulation (Chair: Christian Pfaller)

-                   Junhua Ding, Peter J. Clarke, Gonzalo Argote-Carcia and Yudong He.

Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin

-                   Stephen Masticola and Michael Gall. Vision: Testing of Mechatronics Software using Agile Simulation

-                   José Carlos Ribeiro, Mário Zenha-Rela and Francisco Vega. A Strategy for Evaluating Feasible and Unfeasible Test Cases for the Evolutionary Testing of Object-Oriented Software

17:30-17:45: Closing Remarks

19:30:             Workshop Banquet at Alte Nikolaischule Restaurant