Вы здесь

Главная

тест

Связанные издания:

PN-Test Generation by a Linear Algebraic Representation
Predicting Where Faults Can Hide from Testing
Prioritzing Test Cases for Regression Testing
Probe Tests: A Strategy for Growing Automated Tests around Legacy Code
Property Oriented Test Case Generation
Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case Study
Requirements-based Monitors for Real-Time Systems
Security Target and Test Purposes for EDIFACT
Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies
Software Metrics Knowledge and Databases for Project Management
Software Reuse and the Test Development Process: A Combined Approach
Software Testing
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation
SPEC HPG Benchmarks for Large Systems
Specification-Based Test Generation for Security-Critical Systems Using Mutations
Strategies for Testing Form Assignment Software
Survey of Benchmarks
Systematic and Design Diversity - Software Techniques for Hardware Fault Detection
Systems = Components + Languages: Building a Flexible Real-Time Simulation and Test Environment
System Test Synthesis from UML Models of Distributed Software
System Utilization Benchmark on the Cray T3E and IBM SP
Test-Case Calculation through Abstraction
Test Case Generation by Means of Learning Techniques
Test Case Generation for UML Statecharts
Test-Case Generation from Prolog-Based Specifications
Test Case Preparation Using a Prototype
Test Cases Generation for Nondeterministic Real-Time Systems
Test-Driven Web Application Development in Java
Test Generation for Digital Systems Based on Alternative Graphs
Test Generation for Specifications Modeled by Input/Output Automata
Test generation within an expert environment
Test Generation with Inputs, Outputs, and Quiescence
Testing and Evolutionary Development
Testing as Abstraction
Testing Goes Critical Path
Testing of 3G 1xEV-DV Stack - A Case Study
Testing Refinements by Refining Tests
Testing Transition Systems with Input and Output Testers
Testing Using Z Specifications
Test Management Automation: Lessons Learned from a Process Improvement Experiment
Test Suite Structure and Test Purposes for the Security Features of the X.435 Protocol
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects
The Role of Design Components in Test Plan Generation
The Stability and Utility of the ESPRIT Project, MUSiC, Performance-Based Indicators of Usability and Tools: An Evaluation of the Usability of the NPL iSDX Telephone System
The Stage One Turing Test as an Artificial Intelligence Class Exercise
Timed TTCN-3 Based Graphical Real-Time Test Specification
Time-Optimal Real-Time Test Case Generation Using UPPAAL
Time-Optimal Test Cases for Real-Time Systems
Towards Generating Acceptance Tests for Product Lines
Towards Software Configuration Management for Test-Driven Development