Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
тестирование
Связанные издания:
Automated Test Data Generation Using an Iterative Relaxation Method
Automated Test Generation and Verified Software
Automated Test Generation from Timed Automata
Automated Testing of Classes
Automated Test Plan Generator for Database Application Systems
Automatically Checking an Implementation against Its Formal Specifications
Automatic Conformance Testing of Internet Applications
Automatic Generation of Test Purposes for Testing Distributed Systems
Automatic Interoperability Test Generation for Source-to-source Translators
Automatic software test generation
Automatic Test Data Generation using Constraint Solving Techniques
Automatic Testing of a Parallel Computer
Automatic Testing of Object-Oriented Software
Automating Software Failure Reporting
Automating Test Case Generation from Z Specifications with Isabelle
A Visual Test Development Environment for GUI Systems
Belief Functions: Theory and Aplications: Proc./3rd International Conference, BELIEF 2014, Oxford, UK, September 2014
Benefits of Using Model-Based Testing Tools
Black-Box Conformance Testing for Real-Time Systems
Black-Box Evaluation of COTS Components Using Aspects and Metadata
Black-Box Testing of Grey-Box Behavior
Black-Box Test Reduction Using Input-Output Analysis
Boundary-Scan Testing for Electronic Subassemblies and Systems
Branch-Coverage Testability Transformation for Unstructured Programs
Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions
Built-in Self-Test: Assuring System Integrity
Built-in Self-Testing of Random-Access Memories
Calculating Error Rates for Filtering Softweare
Calibration of a DBMS Cost Model with the Software Testpilot
CAPS: a Coding Aid for PASM
CATS- Computer Aided Testing of Software
Causality-Based Testing in Time Petri Nets
Causality-Based Testing in Time Petri Nets
Central European Functional Programming School: Revised Selected Lectures/First Summer School, CEFP 2005. Budapest, Hungary, July 2005
Central European Functional Programming School: Revised Selected Lectures/ Third Summer School, CEFP 2009, Budapest, Hungary and Komarno, Slovakia, May 2009
Certifying Off-the-Shelf Software Components
Clearing a Career Path for Software Testers
CLOWN as a Testbed for Concurrent Object-Oriented Concepts
Communication And Testing In a Loosely Coupled Multi Microcomputer System
Comparing and Combining Software Defect Detection Techniques: A Replicated Empirical Study
Comparison of Delivered Reliability of Branch, Data Flow and Operational Testing: A Case Study
Compilation of Z Specification into C for Automatic Test Result Evaluation
Component-Based Software: An Overview of Testing
Component Integration through Built-in Contract Testing
Compositional Methods in Characterization of Timed Event Structures
Compositional Testing with IOCO
Composition and Behaviors of Probabilistic I/O Automata
Compression-Based Mathods of Statistical Analysis and Prediction of Time Series
Computer Aided Systems Theory - EUROCAST 2013, Part I: Revised Selected Papers/14th International Conference, Las Palamos de Gran Canaria, Spain, February 2013
Computer Aided Verification, Part II: Proc./31st International Conference, CAV 2019, New York City,NY,USA, July 2019
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »