News

-- 11.04.2010 --
Presentation slides are online (see program)

-- 10.02.2010 --
Due to Workshop merge, the date of QuoMBaT has changed
New date: April 6

-- 01.02.2010 --
Deadline Extension:
February, 15th

-- 20.01.2010 --
Deadline Extension:
February, 1st

-- 23.12.2009 --
Submission site is open

-- 03.12.2009 --
Call for Papers

-- 05.11.2009 --
QuoMBaT site is online

Program

For each presentation, there will be 20 minutes for the talk and 10 minutes for discussion.

Start of A-MOST/QuoMBaT (08:50 - 10:00)

08:50 : Welcome + Foreword

1st Session: Test Purposes and Test Model Construction (09:00 - 09:30)

09:00 : Adenilso Simao and Alexandre Petrenko. From Test Purposes to Asynchronous Test Cases (Slides)

09:30 : Keynote by Bruno Legeard about "MBT for Large-Scale Enterprise Information Systems - Challenges and Quality Issues" (Slides)

Coffee Break (10:30 - 11:00)

1st Session Continuation (11:00 - 11:30)

10:30 : Christopher Robinson-Mallett, Jens Köhnlein, Matthias Grochtmann, Steffen Kühn and Joachim Wegener. Modeling requirements to support testing of product-lines (Slides)

2nd Session: Test Quality and Effort (11:30 - 12:30)

11:30 : Peter Lakey. Measurement Framework for Assessing Model-Based Testing Quality (Slides)
12:00 : Baris Güldali, Michael Mlynarski and Yavuz Sancar. Effort Comparison of Model-based Testing Scenarios (Slides)

Lunch (12:30 - 14:30)

3rd Session: Test Case Generation (14:30 - 16:00)

14:30 : Gordon Fraser and Angelo Gargantini. Generating minimal fault detecting test suites for Boolean expressions (Slides)
15:00 : Ekaterina Akenshina, Natalia Shabaldina and Nina Yevtushenko. Deriving exhaustive test suites for nondeterministic FSMs w.r.t. non-separability relation (Slides)
15:30 : Fabrice Bouquet, BUE Pierre-christophe, Jacques Julliand and Pierre-Alain Masson. Test Generation Based on Abstraction and Test Purposes Abstraction and Test Purposes (Slides)

Coffee Break (16:00 - 16:30)

4th Session: Enabling Test Quality (16:30 - 17:30)

16:30 : Sebastien Salva and Issam Rabhi. A preliminary study on BPEL process testability (Slides)
17:00 : 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 (Slides)