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