Text this: Анализ методов автоматизированного синтеза тестов