Смотреть записьСимвольное исполнение в .NET: Автоматическое тестирование, верификация и синтез программДмитрий ИвановHuaweiДмитрий МордвиновJetBrains Research