Watch recording
![Dmitry Ivanov](https://squidex.jugru.team/api/assets/srm/1EjnMT7VYKsgNgHuv2WSVJ/ivanov.jpg?cache=3600&width=322&height=322&mode=CropUpsize)
Dmitry Ivanov
Company: Huawei
Head of Software Analysis Team at Huawei R&D center in Saint-Petersburg. Formerly JetBrains Rider Technical Leader.
Talks from 2019 Piter season
Other talks
- Watch recording
Talk type: Talk
Symbolic execution in .NET: Automated tests generation, verification, and program synthesis
Dmitry Ivanov
Company: Huawei
Dmitry Mordvinov
Company: JetBrains Research