RUS
ENG
Full version
PEOPLE
Yakimov Ivan Aleksandrovich
Publications in Math-Net.Ru
Searching for missing library function calls using machine learning
Proceedings of ISP RAS
,
29
:6 (2017),
117–134
Test readability optimization in context of symbolic execution
Proceedings of ISP RAS
,
28
:5 (2016),
227–238
©
Steklov Math. Inst. of RAS
, 2024