Динамическое символьное исполнение Java-программдоклад на конференции