IFIP TC6 Open Digital Library

24. ICTSS 2012: Aalborg, Denmark

Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

Brian Nielsen, Carsten Weise

Springer, Lecture Notes in Computer Science 7641, ISBN: 978-3-642-34690-3



Contents

Invited Keynote Talks

Requirements-Driven Log Analysis (Extended Abstract).

Klaus Havelund

 1-4

Active Learning of Extended Finite State Machines.

Frits W. 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 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

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 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

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