Concolic Execution on Small-Size Binaries: Challenges and Empirical Study.

Hui Xu Yangfan Zhou Yu Kang Michael R. Lyu

Published in: DSN (2017)

Keyphrases

empirical studies
small size
empirical analysis
control flow
real world data sets
poor quality
real world
lessons learned
key issues
reverse engineering
database
experimental design
application scenarios
execution model
design principles