- Testability Analysis for Graphically Described Algorithms of Reactive Systems GBP 11.00
- Automated Functional Test Case Generation from Data Flow Specifications Using Structural Coverage Criteria GBP 11.00
Subtotal (excluding shipping and tax) GBP 22.00