Дымова Т. Н., Орехов Ю. В., Петрова О. Н. Отыскание оптимального набора тестов для контроля состояния систем