Testing Software and Systems : 24th Ifip Wg 6.1 International Conference, Ictss 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
Overview
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
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783642346903
- ISBN-10: 3642346901
- Publisher: Springer
- Publish Date: October 2012
- Dimensions: 9.21 x 6.14 x 0.58 inches
- Shipping Weight: 0.86 pounds
- Page Count: 263
Related Categories
