Об одном методе сокращения набора тестов

Д.Ю. Кичигин, Труды Института системного программирования РАН