Testing Software and Systems: 24th Ifip Wg 6.1 International Conference, Ictss 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

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

• Format: Paperback
• Language: English
• ISBN: 3642346901
• ISBN13: 9783642346903
• Release Date: October 2012
• Publisher: Springer
• Length: 263 Pages
• Weight: 0.86 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"