Смотреть запись
Доклад
Символьное исполнение в .NET: Автоматическое тестирование, верификация и синтез программ
Дмитрий Иванов
Компания: Huawei
Дмитрий Мордвинов
Компания: JetBrains Research
Дмитрий Иванов
Компания: Huawei
Возглавляет группу анализа программ в R&D центре компании Huawei в Санкт-Петербурге. В прошлом технический лидер JetBrains Rider.