Table of Contents
|
Testing Software and Systems
Brian Nielsen, CarstenWeise (Eds.)
|
Front Matter |
Invited Keynote Talks
|
Requirements-Driven Log Analysis (Extended Abstract)
Klaus Havelund |
1-4 |
Active Learning of Extended Finite State Machines
Frits Vaandrager |
5-7 |
Testing in Practice
|
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 Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson, Jan Endresen, Tormod Wien |
39-54 |
CaPTIF: Comprehensive Performance TestIng Framework
Daniel Mayer, Orie Steele, Susanne Wetzel, Ulrike Meyer |
55-70 |
Test Frameworks for Distributed Systems
|
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 |
Testing of Embedded Systems
|
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing
Boutheina Bannour, Jose Escobedo, Christophe Gaston, Pascale Gall |
119-135 |
Querying Parametric Temporal Logic Properties on Embedded Systems
Hengyi Yang, Bardh Hoxha, Georgios Fainekos |
136-151 |
State Estimation and Property-Guided Exploration for Hybrid Systems Testing
Thao Dang, Noa Shalev |
152-167 |
Test Optimization
|
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 |
New Testing Methods
|
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 |
Hosted by HAL : 