File Parsing Vulnerability Detection with Symbolic Execution.

Chaojian Hu Zhoujun Li Jinxin Ma Tao Guo Zhiwei Shi

Published in: TASE (2012)

Keyphrases

symbolic execution
static analysis
database
test data generation
case study
metadata
test generation
open source
genetic programming
error rate
manufacturing systems