Program

The time table will be published soon. The following list contains all accepted papers:

• Peter Lakey: A Measurement Framework for Assessing Model-Based Testing Quality
• Sebastien Salva and Issam Rabhi: A preliminary study on BPEL process testability
• Baris Güldali, Michael Mlynarski and Yavuz Sancar: Effort Comparison of Model-based Testing Scenarios
• Yves Le Traon, Tejeddine Mouelhi, Frank Fleurey and Benoit Baudry: Language-specific vs. language-independent approaches: embedding semantics on a metamodel for testing and verifying access control policies
• Gordon Fraser and Angelo Gargantini: Generating minimal fault detecting test suites for Boolean expressions.
• Adenilso Simao and Alexandre Petrenko: From Test Purposes to Asynchronous Test Cases
• Christopher Robinson-Mallett, Jens Köhnlein, Matthias Grochtmann and Joachim Wegener: Modeling requirements to support testing of product-lines
• Ekaterina Akenshina, Natalia Shabaldina and Nina Yevtushenko: Deriving exhaustive test suites for nondeterministic FSMs w.r.t. non-separability relation
• Fabrice Bouquet, BUE Pierre-christophe, Jacques Julliand and Pierre-Alain Masson: Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests