Alexander A. Novikov

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Systems Analysis And Design

Inter Disciplinary

Top Venues

Program. Comput. Softw.

Publications

Alexey V. Vishnyakov, Andrey Fedotov, Daniil O. Kuts, Alexander A. Novikov, Darya Parygina, Eli Kobrin, Vlada Logunova, Pavel Belecky, Shamil F. Kurmangaleev
Sydr: Cutting Edge Dynamic Symbolic Execution. CoRR (2020)
A. Yu. Gerasimov, Daniil O. Kuts, Alexander A. Novikov
A Formal Model for Detecting Bugs by Symbolic Execution of Programs. Program. Comput. Softw. 46 (8) (2020)