Вы здесь

Главная

тест

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

Cryptographic Verification of Test Coverage Claims
Demonstration of an Automated Integrated Test Environment for Web-Based Applications
Ensuring Structural Testability of High-Density SMT Circuit Packs
Entwurf und Implementierung von CSSA.. Teil D: CSSA-Programmbeispiele
Equational Axioms of Test Algebra
Evaluating OpenMP Performance Analysis Tools with the APART Test Suite
Executable and Symbolic Conformance Tests for Implementation Models
Execution of External Applications Using TTCN-3
Experimental Results from an Automatic Test Case Generator
Experiments with Test Case Generation and Runtime Analysis
Exploring the Software Development Trilogy
Extended Institutions for Testing
Extendidng Design-for-Test Into the Analog and Mixed-Signal Domains
Extending the Banerjee-Wolfe Test to Handle Execution Conditions
Factorized test generation for multi-input/output transition systems
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
Formal Techniques for Distributed Objects, Components, and Systems: Proc./34th IFIP WG 6.1 International Conference, FORTE 2014 Held as Part of the 9th International Federated Conference DisCoTec 2014, Berlin, Germany, June 2014
Formal Test Purposes and the Validity of Test Cases
Framework and Model for Automated Interoperability Test and Its Application to ROHC
Further Empirical Studies of Test Effectiveness
Generating Checking Sequences for a Distributed Test Architecture
Generating Test Data with Enchanced Context-Free Grammars
Generating Tests from UML Specifications
Gesture-Based Human-Computer Interaction and Simulation: Revised Selected Papers/7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 2007
Graphical Test Specification - The Graphical Format of TTCN-3
Hierarchical Test Analysis of VLSI Circuits for Random BIST
How Assertions Can Increase Test Effectiveness
How to Design Practical Test Cases
Identification of Web Usability Problems and Interaction Patterns with the RealEYES-iAnalyzer
Improving Software Tests using Z Specifications
Incorporation of Test Functionality into Software Components
Increasing the Testability of Object-Oriented Frameworks with Built-in Tests
Interoperability testing: Experience with MAP and CNMA
Investigations of the Software Testing Coupling Effect
Java Specification Extension for Automated Test Development
Java Subtype Tests in Real-Time
KVEST: Automated Generation of Test Suites from Formal Specification
Logic Programs with Tests
Manchecter Dataflow Machine: Benchmark Test Evaluation Report
Markov Analysis of Software Specifications
Matually Enhancing Test Generation and Specification Inference
Methods for Synthesizing Testable Sequential Circuits
Mining System Tests to Aid Software Maintenance
Multi-Valued Interpreted Petri Nets and Test Generation
Nonlinear and Symbolic Data Dependence Testing
On Built-in Tests and Reuse in Object-Oriented Programming
On the Lattice Structure of the Add-With-Carry and Subtract-With-Borrow Random Number Generators
Optimizing Cache Access: Tool for Source-to-Source Transformations and Real-Life Compiler Tests
Passive and Active Measurement: Proc./17th International Conference, PAM 2016, Heraklion, Greece, March 2016
PLUTO: A Test Methodology for Product Families