Testing Software and Systems

1. Front Matter

   PDF

2. Invited Keynote Talks

   1. Requirements-Driven Log Analysis (Extended Abstract)

      • Klaus Havelund

      Pages 1-4

   2. Active Learning of Extended Finite State Machines

      • Frits Vaandrager

      Pages 5-7

3. Testing in Practice

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

      • Jörg Brauer, Jan Peleska, Uwe Schulze

      Pages 8-23

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

      • Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb

      Pages 24-38

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

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

      Pages 39-54

   4. CaPTIF: Comprehensive Performance TestIng Framework

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

      Pages 55-70

4. Test Frameworks for Distributed Systems

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

      • Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel

      Pages 71-86

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

      • Nanxing Chen, César Viho

      Pages 87-102

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

      • Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel

      Pages 103-118

5. Testing of Embedded Systems

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

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

      Pages 119-135

   2. Querying Parametric Temporal Logic Properties on Embedded Systems

      • Hengyi Yang, Bardh Hoxha, Georgios Fainekos

      Pages 136-151

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

      • Thao Dang, Noa Shalev

      Pages 152-167

6. Test Optimization

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

      • Angelo Gargantini, Marco Guarnieri, Eros Magri

      Pages 168-183

   2. Using Behaviour Inference to Optimise Regression Test Sets

      • Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick

      Pages 184-199

7. New Testing Methods

   1. Machine Learning Approach in Mutation Testing

      • Joanna Strug, Barbara Strug

      Pages 200-214

   2. Lightweight Automatic Error Detection by Monitoring Collar Variables

      • João Santos, Rui Abreu

      Pages 215-230

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

      • Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino

      Pages 231-246

   4. Parameterized GUI Tests

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

      Pages 247-262

8. Back Matter

   PDF

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.

• adaptable systems
• machine learning
• model-based testing
• protocol testing
• runtime

• Department of Computer Science, Aalborg University, Aalborg, Denmark

  Brian Nielsen

• IVU Traffic Technologies AG, Aachen, Germany

  Carsten Weise

Policies and ethics