Enhancing symbolic execution method with a taint layer.

Jinxin Ma Tao Zhang Puhan Zhang

Published in: ICACI (2015)

Keyphrases

error rate
objective function
optimization method
programming language