November 19-21, 2012

Aalborg, Denmark

Conference Programme

Click on title to see paper abstract

Monday 19th:

08:00- Coffee and Rolls Registration Opens
10.00-12.30 Alexandre David, Kim G. Larsen, and Marius Mikucionis, Aalborg University, DK Tutorial: "Timed Statistical Model-checking - beyond model-checking and testing"
12.30-13.30 Lunch
13.30-15.30 Phd Workshop
Raluca Marinescu, Cristina Seceleanu, and Paul Pettersson An Integrated Framework for Component-based Analysis of Architectural System Models
Kitouni Ilham, Saidouni Djamel-Eddine, and Bouaroudj Kenza Modeling and testing non-deterministic real-time systems
Olivier Finot Filtered Comparison for Oracle in Model Transformation Testing
Hamza Samih and Benoit Baudry Relating Variability Modelling and Model-Based Testing for Software Product Lines Testing
15.30-16.00 Coffee
16.00-18.00 Klaus Havelund, Senior Research Scientist, NASA-JPL

Frits Vaandrager, Professor, Radboud University Nijmegen, NL

Mads Budde, Vice President for Programs & Software, Terma A/S, DK

Carsten Weise, Teamleader, IVU Traffic Technologies AG, DE
Panel "How to put a car on Mars and test other complex software"
18.00-19.00 Welcome reception
20.00- PC-Dinner

Tuesday 20th

08:00- Coffee and Rolls Registration Opens
9.00-10.00 Keynote Talk
Klaus Havelund, Jet Propulsion Laboratory - Laboratory for Reliable Software, USA Invited talk: Requirements-Driven Log Analysis
10.00-10.30 Coffee
10.30-12.30 Session 1 Testing in Practice
Joerg Brauer, Jan Peleska and Uwe Schulze. Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools
Aymeric Hervieu, Benoit Baudry and Arnaud Gotlieb Managing Execution Environment Variability during Software Testing: an industrial experience
Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson, Jan Endresen and Tormod Wien. A Technique for Agile and Automatic Interaction Testing for Product Lines
Daniel A. Mayer, Orie Steele, Susanne Wetzel and Ulrike Meyer. CaPTIF: Comprehensive Performance TestIng Framework
12.30-13.30 Lunch
13.30-15.00 Session 2 Test Frameworks for Distributed Systems
Mariam Lahami, Fairouz Fakhfakh, Moez Krichen and Mohamed Jmaiel. Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems
Nanxing Chen and Cesar Viho. Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol
Teruo Higashino, Akihito Hiromori, Takaaki Umedu and Hirozumi Yamaguchi. Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution
15.00-15.30 Coffee
15.30-16.30 Session 3 Test Optimization
Angelo Gargantini, Marco Guarnieri and Eros Magri. Extending Coverage Criteria by Evaluating their Robustness to Code Structure Changes
Ramsay Taylor, Mathew Hall, Kirill Bogdanov and John Derrick. Using behaviour inference to optimise regression test sets
17.55-23.00 Social Event and Conference Dinner Bus departs for Lindholm Høje (from the back of hotel Phoenix); Departs 22.30 from Lindholm Høje

Wednesday 21st

8.45 Coffee and Rolls Registration Opens
09:00-10:00 Keynote 2
Frits Vaandrager, Radboud University Nijmegen, NL Invited talk: Active Learning of Extended Finite State Machines
10.00-10.30 Coffee
10.30-12.30 Session 4 New Testing Methods
Joanna Strug and Barbara Strug Machine Learning Approach in Mutation Testing
João Santos and Rui Abreu. Lightweight Automatic Error Detection by Monitoring Collar Variables
Mariam Lahami, Moez Krichen, Mariam Bouchakwa and Mohamed Jmaiel. Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems
Stephan Arlt, Pedro Borromeo, Martin Schäf and Andreas Podelski. Parameterized GUI Tests
12.30-13.30 Lunch
13.30-15.00 Session 5 Testing of Embedded Systems
Boutheïna Bannour, Christophe Gaston, Pascale Le Gall and Jose Pablo Escobedo. Off-line test case generation for timed symbolic model-based conformance testing
Hengyi Yang, Bardh Hoxha and Georgios Fainekos. Querrying Parametric Temporal Logic Properties on Embedded Systems
Thao Dang and Noa Shalev. State estimation and property-guided exploration for hybrid systems testing
15.00-15.30 Coffee
15.30 Conference Closing