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