Book Volume 7641 2012

Testing Software and Systems

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


ISBN: 978-3-642-34690-3 (Print) 978-3-642-34691-0 (Online)

Table of contents (18 chapters)

  1. Front Matter

    Pages -

  2. Invited Keynote Talks

    1. No Access


      Pages 1-4

      Requirements-Driven Log Analysis (Extended Abstract)

    2. Chapter

      Pages 5-7

      Active Learning of Extended Finite State Machines

  3. Testing in Practice

    1. Chapter

      Pages 8-23

      Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools

    2. Chapter

      Pages 24-38

      Managing Execution Environment Variability during Software Testing: An Industrial Experience

    3. Chapter

      Pages 39-54

      A Technique for Agile and Automatic Interaction Testing for Product Lines

    4. Chapter

      Pages 55-70

      CaPTIF: Comprehensive Performance TestIng Framework

  4. Test Frameworks for Distributed Systems

    1. Chapter

      Pages 71-86

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

    2. Chapter

      Pages 87-102

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

    3. Chapter

      Pages 103-118

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

  5. Testing of Embedded Systems

    1. Chapter

      Pages 119-135

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

    2. Chapter

      Pages 136-151

      Querying Parametric Temporal Logic Properties on Embedded Systems

    3. Chapter

      Pages 152-167

      State Estimation and Property-Guided Exploration for Hybrid Systems Testing

  6. Test Optimization

    1. Chapter

      Pages 168-183

      Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes

    2. Chapter

      Pages 184-199

      Using Behaviour Inference to Optimise Regression Test Sets

  7. New Testing Methods

    1. Chapter

      Pages 200-214

      Machine Learning Approach in Mutation Testing

    2. Chapter

      Pages 215-230

      Lightweight Automatic Error Detection by Monitoring Collar Variables

    3. Chapter

      Pages 231-246

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

    4. Chapter

      Pages 247-262

      Parameterized GUI Tests

  8. Back Matter

    Pages -