Kuznetsov Alexander Sergeyevich

Publications in Math-Net.Ru

1. Searching for missing library function calls using machine learning
   
   Proceedings of ISP RAS, 29:6 (2017),  117–134
2. Test readability optimization in context of symbolic execution
   
   Proceedings of ISP RAS, 28:5 (2016),  227–238