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 recordingTalk
Symbolic execution in .NET: Automated tests generation, verification, and program synthesis
Dmitry Ivanov
Company: Huawei
Dmitry Mordvinov
Company: JetBrains Research