Оценка достаточности тестов при тестировании ПО с учетом априорных занинй о структурных свойствах программ и вероятностных метрик тестовХанбекян, Арарат Гургенович199117 с.