Full Text Documents

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/