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