Testing Software and Systems [electronic resource] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings / edited by Brian Nielsen, Carsten Weise.

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.