1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…