Вы здесь

Главная

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

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

1000 рублей удовольствия, или 30 дней на свободном ПО
1st Grade - A System for Implementation, Testing and Animation of Graph Algorithms
35,7 транзакций в секунду на ПК
A Browser Computability Testing Method Based on Combinatorial Testing
Abstraction and Testing
Abstraction Techniques for Validation Coverage Analysis and Test Generation
Abstract State Machines 2003 - Advances in Theory and Practice: Proc./10th Intern. Workshop, ASM 2003, Taormina, Italy, March 2003
Acceptance Testing HTML
Acceptance Testing of Object Oriented Systems
A COM-Based Customization Testing Technique
A Combined Testing and Verification Approach for Software Reliability
A COS Study of OSI Interoperability
A Cost-Effective Approach to Testing
Active Objects for Coordination in Distributed Testing
Ada in Safety Critical Applications
Adaptive Model Checking
A Demand-Driven Analyzer for Data Flow Testing at the Integration Level
Ad-hoc, Mobile, and Wireless Network: Proc./12th International Conference, ADHOC-NOW 2013, Wroclaw, Poland, July 2013
ADL - An Interface Definition Language for Specifying and Testing Software
Advanced Information Systems Engineering: Proc./17th International Conference, CAiSE 2005. Porto, Portugal, June 2005
Advances in Web Based Learning - ICWL 2007: Proc./6th International Conference. Edinburgh, UK, August 2007
A European COTS Architecture with Built-in Tests
A First Encounter with f90
A Framework for Specification-Based Testing
A Framework for Testing at the Edge - An Experience Report
A Framework for Testing Database Applications
A General Data Dependence Test for Dynamic, Pointer-Based Data Structures
A General Model for Reachability Testing of Concurrent Programs
A Generic Subsumption Testing Toolkit for Knowledge Base Queries
Agent-Oriented Software Engineering IX: Revised Selected Papers/9th International Workshop, AOSE 2008. Estoril, Portugal, May 2008
Agent-Oriented Software Engineering VII: Revised and Invited Papers/7th International Workshop, AOSE 2006. Hakodate, Japan, May 2006
Agent-Oriented Software Engineering XI: Revised Selected Papers/11th International Workshop, AOSE 2010, Toronto, Canada, May 2010
A GSM-MAP Protocol Experiment Using Passive Testing
A Guided Method for Testing Timed Input Output Automata
Algorithms in Bioinformatics: Proc./7th International Workshop, WABI 2007. Philadelphia, PA, USA, September 2007
Algorithms in Bioinformatics: Proc./8th International Workshop, WABI 2008. Karlsruhe, Germany, September 2008
All-du-path Coverage for Parallel Programs
A Method for Compiling and Executing Expressive Assertions
A Methodology for Controlling the Size of a Test Suite
A Methodology for Testing Intrusion Detection Systems
An algorithm for testing sufficient completeness of a simple class of conditional specifications
Analyzing Regression Test Selection Techniques
An Applicable Test Data Generation Algorithm for Domain Errors
An Approach to Integration Testing Based on Data Flow Specifications
An Automata-Based Approach to Property Testing in Event Traces
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 Automatic Testing Environment for LArge-Scale Operating Systems
An Efficient Compiler Validation Method for Ada 9X
An Empirical Evaluation of Three Defect-Detection Techniques