Requirements-Driven Log Analysis (Extended Abstract).

Klaus Havelund

 1-4

Active Learning of Extended Finite State Machines.

Frits W. Vaandrager

 5-7

Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools.

Jörg Brauer, Jan Peleska, Uwe Schulze

 8-23

Managing Execution Environment Variability during Software Testing: An Industrial Experience.

Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb

 24-38

A Technique for Agile and Automatic Interaction Testing for Product Lines.

Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson, Jan Endresen, Tormod Wien

 39-54

CaPTIF: Comprehensive Performance TestIng Framework.

Daniel A. Mayer, Orie Steele, Susanne Wetzel, Ulrike Meyer

 55-70

Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems.

Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel

 71-86

Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol.

Nanxing Chen, César Viho

 87-102

Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems.

Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel

 103-118

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing.

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall

 119-135

Querying Parametric Temporal Logic Properties on Embedded Systems.

Hengyi Yang, Bardh Hoxha, Georgios E. Fainekos

 136-151

State Estimation and Property-Guided Exploration for Hybrid Systems Testing.

Thao Dang, Noa Shalev

 152-167

Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes.

Angelo Gargantini, Marco Guarnieri, Eros Magri

 168-183

Using Behaviour Inference to Optimise Regression Test Sets.

Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick

 184-199

Machine Learning Approach in Mutation Testing.

Joanna Strug, Barbara Strug

 200-214

Lightweight Automatic Error Detection by Monitoring Collar Variables.

João Santos, Rui Abreu

 215-230

Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution.

Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino

 231-246

Parameterized GUI Tests.

Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski

 247-262