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
Dmitry Ivanov
Company: Huawei
Head of Software Analysis Team at Huawei R&D center in Saint-Petersburg. Formerly JetBrains Rider Technical Leader.
Talks from 2021 Moscow season
Other talks
- Watch recording