D Koryabkin, V Ignatyev - 2022 Ivannikov Memorial Workshop …, 2022 - ieeexplore.ieee.org
The majority of conventional automated approaches to examination and correction of source
code (such as static and dynamic analysis methods) often prove to be not fully adequate for …