Detecting Vulnerabilities in C Programs using Trace-Based Testing (2010)

by D Zhang, D Liu, Y Lei, D Kung, C Csallner, W Wenhua
Venue:In IEEE/IFIP International Conference on Dependable Systems and Networks (DSN