14 citations · 30 across the 4 of their papers we have counts for
1 paper · 1 filter
Alexey Vishnyakov, Vlada Logunova, Eli Kobrin +3
Dynamic symbolic execution (DSE) is a powerful method for path exploration during hybrid fuzzing and automatic bug detection. We propose security predicates to effectively detect u…