Watch recording
Symbolic execution in .NET: Automated tests generation, verification, and program synthesis
Dmitry Ivanov
Huawei
Dmitry Mordvinov
JetBrains Research
In RussianComplexity -
Dmitry Ivanov
Huawei
Head of Software Analysis Team at Huawei R&D center in Saint-Petersburg. Formerly JetBrains Rider Technical Leader.
Talks from 2021 Moscow season
Speaker
Other talks
- No recordIn RussianComplexity -
