Login / Signup

Design and implementation of a dynamic symbolic execution tool for windows executables.

Ting ChenXiaosong ZhangCong ZhuXiao-li JiShi-ze GuoYue Wu
Published in: J. Softw. Evol. Process. (2013)
Keyphrases
  • case study
  • symbolic execution
  • relational databases
  • data sets
  • databases
  • static analysis
  • design process
  • software architecture