13 citations · 17 across the 4 of their papers we have counts for
1 paper · 2 filters
Sooyoung Cha, Seongjoon Hong, Jingyoung Kim +2
We present a technique to automatically generate search heuristics for dynamic symbolic execution. A key challenge in dynamic symbolic execution is how to effectively explore the p…