Система генерации тестовых программ с использованием ограничений ТЕСЛАтезисы доклада