Testing Software and Systems [E-Book] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings / edited by Brian Nielsen, Carsten Weise.
Nielsen, Brian.
Weise, Carsten.
Berlin, Heidelberg : Springer Berlin Heidelberg : 2012
Imprint: Springer,
X, 263 p. 97 illus. digital.
Lecture notes in computer science
Full Text
Table of Contents:
  • Requirements-Driven Log Analysis
  • Active Learning of Extended Finite State Machines
  • Testing in Practice
  • Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools
  • Managing Execution Environment Variability during Software Testing:mAn Industrial Experience
  • A Technique for Agile and Automatic Interaction Testing for Product Lines
  • CaPTIF: Comprehensive Performance TestIng Framework
  • Test Frameworks for Distributed Systems Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems
  • Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol
  • Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems.-Testing of Embedded Systems Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing
  • Querying Parametric Temporal Logic Properties on Embedded Systems
  • State Estimation and Property-Guided Exploration for Hybrid Systems Testing
  • Test Optimization
  • Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes
  • Using Behaviour Inference to Optimise Regression Test Sets
  • New Testing Methods
  • Machine Learning Approach in Mutation Testing
  • Lightweight Automatic Error Detection by Monitoring Collar Variables
  • Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution
  • Parameterized GUI Tests.