Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution. - Wang, Tielei; Wei, Tao; Gu, Guofei; Zou, Wei (ACM Trans. Inf. Syst. Secur., 2011)