Watch recording
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.