Вы здесь

Главная

тестирование

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

An Empirical Investigation of Program Spectra
A New Perspective of the Proportional Sampling Strategy
A New Test Design Method for Requirement-Based Software Testing
An Exact Array Reference Analysis for Data Flow Testing
An Exact Method for Analysis of Value-based Array Data Dependences
An Exact Reference Analysis for Data Flow Testing
An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing
An Improved Approach to Product Quality Through Testing
An Improved Inspection Technique
An Informal Formal Method for Systematic JUnit Test Case Generation
An Information Flow Model of Fault Detection
An Integrated Approach to Performance and Testing Analysis for Parallel Systems
An Integrated General Purpose Automated Test Environment
An investigation into software testing for parallel computing
An Object-oriented Framework for Testing Software and its Application to Testing a Real-Time Safety-Critical System
An Open Framework for Managed Regression Testing
An Overview of Common Benchmarks
An Overview of Regression Testing
Applications Benchmarking Set for Fortran-D and High Performance Fortran
Applying Extended Finite State Machines in Software Testing of Interactive Systems
Applying Formal Methods: Testing, Performance, and M/E-Commerce: Proc./FORTE 2004 Workshops The FormEMC, EPEW, ITM. Toledo, Spain, October 2004
Applying Software Testing Practices to an Object-Oriented Software Development
Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques: Proc./10th Intl Workshop, APPROX 2007 & 11th Intl WS, Random 2007. Princeton, NJ, USA, August 2007
A Procedure for Analyzing Unbalanced Datasets
A Randomized Test Approach to Testing Safety Critical Ada Code
A Reduced Test Suite for Protocol Conformance Testing
A Regression Testing Database Model
A Reliability Model Combining Representative and Directed Testing
A Requirement-Based Approach to Test Product Families
Arithmetic Statement Testing
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
A Simple Testing Technique for Embedded Systems
A Simplified Domain-Testing Strategy
A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards
A Specification-Based Methodology for Testing Concurrent Programs
Assessing the Fault-Detecting Ability of Testing Methods
A Statistical Approach to the Inspection Checklist Formal Synthesis and Improvement
A Structured Testing Methodology for Knowledge-Based Systems
A Theory of "May" Testing for Asynchronous Languages
A Theory of Testing High-Level Petri Nets
Auburn: A Kit for Benchmarking Functional Data Structures
A UML-Based Approach to System Testing
A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams
Automated Analysis of Java Message Service Providers
Automated Benchmarking of Functional Data Structures
Automated Debugging Using Path-Based Weakest Preconditions
Automated Program Flaw Finding using Simulated Annealing
Automated Reasoning: Proc./5th International Joint Conference, IJCAR 2010, Edinburg, UK, July 2010
Automated Regression Test Generation
Automated Technology for Verification and Analysis: Proc./12th International Symposium, ATVA 2014, Sydney,NSW,Australia, November 2014