В статье предложен метод построения на основе существующего теста UniTESK, находящо ошибку в тестируемой системе минимального теста, обнаруживающего ту же ошибку. Полученный минимальный тест может использоваться для локализации оштбки в реализации тестируемой системы.
