Login / Signup
Extracting Conditional Formulas for Cross-Platform Bug Search.
Qian Feng
Minghua Wang
Mu Zhang
Rundong Zhou
Andrew Henderson
Heng Yin
Published in:
AsiaCCS (2017)
Keyphrases
</>
cross platform
search algorithm
search space
source code
databases