Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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/