Skip to main content
SpringerLink
Log in

Testing Software and Systems

24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Brian Nielsen

    1. Department of Computer Science, Aalborg University, Aalborg, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Carsten Weise

    1. IVU Traffic Technologies AG, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7641)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ICTSS 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

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

    Download chapter PDF
Back to top

Other volumes

  1. Testing Software and Systems

Keywords

About this book

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.

Editors and Affiliations

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

    Brian Nielsen

  • IVU Traffic Technologies AG, Aachen, Germany

    Carsten Weise

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation