Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2010.
|
| Series: | Lecture Notes in Computer Science,
6435 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Table of Contents:
- 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.
