output
20122025
most citedInternal wave attractors examined using laboratory experiments and 3D numerical simulations

62 citations

researchers with a paper here
collaborating institutions
Showing 2022 · cs.CRShow all

2 papers · 2 filters

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…