Вы здесь

Главная

тест

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

A Case for Test-Code Generation in Model-Driven Systems
A Comparison of the BTT and TTF Test-Generation Methods
A Cost-Effective Approach to Testing
A Customer Test Generator for Web-Based Systems
A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Pragrams
A Graphical Query Interface Based on Aggregation/Generalization Hierarchies
A Light in a Dark Place: Test-Driven Development with 3rd Party Packages
A Modular Approach to the Specification and Validation of an Electrical Flight Control System
An Analytical Comparison of the I-Test and Omega Test
An Approach to Integration Testing Based on Data Flow Specifications
An Approach to Symbolic Test Generation
An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases
An Automatic Test Data Generation System Based on the Integrated Classification-Tree Methodology
An Evaluation of Software Test Environment Architectures
An Informal Formal Method for Systematic JUnit Test Case Generation
An Open Framework for Managed Regression Testing
An Overview of Common Benchmarks
An Overview of Deterministic Functional RAM Chip Testing
An Overview of the WPI Benchmark Suite
Application of Fault Parallelism to the Automatic Test Pattern Generation for Sequential Circuits
A PVM Tool for Automatic Test Generation on Parallel and Distributed Systems
A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards
Assertion-Oriented Automated Test Data Generation
A Taste of the Modula-2 Standard
A Temporal Logic Based Theory of Test Coverage and Generation
A Termination Test for Logic Programs
A Test Environment for High Integrity Software Development
A Traffic Model to Test ATM Switches
Auto-generating Test Sequences Using Model Checkers: A Case Study
Automated Program Flaw Finding using Simulated Annealing
Automated Regression Test Generation
Automated Test Case Generation from Dynamic Models
Automated Test Generation from Timed Automata
Automatically Generating Information from a Z Specification to Support the Classification Tree Method
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems
Automatic Generation of Test Purposes for Testing Distributed Systems
Automatic Interoperability Test Generation for Source-to-source Translators
Automatic Test Generation for Digital Electronic Circuits
Automatic Test Generation with AGATHA
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
A Visual Test Development Environment for GUI Systems
BCMP Performance Test with TTCN-3 Mobile Node Emulator
Black-Box Test Reduction Using Input-Output Analysis
Built-In Self-Test for Digital Integrated Circuits
Code-Based Test Generation for Validation of Functional Processor Descriptions
Cognitive Difference in End User Searching of a CD-ROM Index
Comparing TorX, Autolink, TGV and UIO Test Algorithms
Compilation of Z Specification into C for Automatic Test Result Evaluation
Concerning the Ordering of Adaptive Test Sequences
Concurrent Modular Processing for Automatic Test Pattern Generation