Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
conformance
Связанные издания:
Automatic Conformance Testing of Internet Applications
Black-Box Conformance Testing for Real-Time Systems
Computing Unique Input/Output Sequences Using Genetic Algorithms
Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols
Executable and Symbolic Conformance Tests for Implementation Models
Frame-Based Self-adaptive Test Case Selection
From Safety Verification to Safety Testing
Test Cases Generation for Nondeterministic Real-Time Systems