3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Wookhyun Han, Md Lutfor Rahman, Yuxuan Chen +3
Concolic execution is a powerful program analysis technique for exploring execution paths in a systematic manner. Compare to random-mutation-based fuzzing, concolic execution is es…