Кузнецов Александр Сергеевич

Публикации в базе данных Math-Net.Ru

1. Поиск недостающих вызовов библиотечных функций с использованием машинного обучения
   
   Труды ИСП РАН, 29:6 (2017),  117–134
2. Оптимизация читаемости тестов порождаемых при символьных вычислениях
   
   Труды ИСП РАН, 28:5 (2016),  227–238