Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
покрытие
Связанные издания:
Abstraction Techniques for Validation Coverage Analysis and Test Generation
Approximation Algorithms for the Capacitated Minimum Spanning Tree Problem and Its Variants in Network Design
A Temporal Logic Based Theory of Test Coverage and Generation
CC4J - Code Coverage for Java - A Load-Time Adaptation Success Story
Completeness of integrated information sources
On the Limit of Control Flow Analysis for Regression Test Selection
On the Minimality of Finite Automata and Stream X-machines for Finite Languages
WALCOM: Algorithms and Computation: Proc./International Conference, WALCOM 2019, Guwahati, India, March 2019
Достижение целей структурного покрытия, определенных в DO-178C
Задачи раскраски и покрытия вершин графов индуцированными подграфами
Мажорантные локальные алгоритмы для задач построения оптимальных покрытий
Об одном покрытии множества двоичных наборов и реализации конъюнкций контактными схемами
Тестирование изменений в программной системе на основе покрытия исходного кода
Тестирование изменений в программной системе на основе покрытия исходного кода