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