Zaslat SMS: Машинные методы исследования автоматических систем