Casr-Cluster: Crash Clustering for Linux Applications

27 December 2021

Papers citing "Casr-Cluster: Crash Clustering for Linux Applications"

2 / 2 papers shown

Title
Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution D. Kuts 21 10 0 08 Sep 2021
Sydr: Cutting Edge Dynamic Symbolic Execution A. Vishnyakov A. Fedotov D. Kuts A. Novikov Darya Parygina Eli Kobrin Vlada Logunova Pavel Belecky S. Kurmangaleev 18 14 0 18 Nov 2020