Pavel Belecky

Publication Activity (10 Years)

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

Top Topics

Symbolic Execution

Systems Analysis And Design

Inter Disciplinary

Top Venues

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)