Testing Software and Systems
22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
Published on 25. October 2010
XII, 267 pages
978-3-642-16573-3 (ISBN)
Description
More details
Other editions
Additional editions
Alexandre Petrenko | Adenilso Simao | José Carlos Maldonado
Testing Software and Systems
22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
Book
10/2010
1st Edition
Springer
€53.49
Shipment within 5-7 days
Content
Test Automation with TTCN-3 - State of the Art and a Future Perspective.- A Model-Based Approach to Testing Software for Critical Behavior and Properties.- A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem.- More Testable Properties.- Alternating Simulation and IOCO.- Reducing the Cost of Model-Based Testing through Test Case Diversity.- Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems.- Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing.- Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage.- Increasing Functional Coverage by Inductive Testing: A Case Study.- FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution.- Test Data Generation for Programs with Quantified First-Order Logic Specifications.- Efficient Distributed Test Architectures for Large-Scale Systems.- Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction.- Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks.- A Learning-Based Approach to Unit Testing of Numerical Software.- From Scenarios to Test Implementations Via Promela.- Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases.
