14 citations · 34 across the 6 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.CR2022★ 11 cited
Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle
Alexey Vishnyakov, Daniil Kuts, Vlada Logunova +4
Nowadays automated dynamic analysis frameworks for continuous testing are in high demand to ensure software safety and satisfy the security development lifecycle (SDL) requirements…
cs.CR2022★ 4 cited
Strong Optimistic Solving for Dynamic Symbolic Execution
Darya Parygina, Alexey Vishnyakov, Andrey Fedotov
Dynamic symbolic execution (DSE) is an effective method for automated program testing and bug detection. It is increasing the code coverage by the complex branches exploration duri…