Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. - Gogul Balakrishnan; Thomas W. Reps; Nicholas Kidd; Akash Lal; Junghee Lim; David Melski; Radu Gruian; Suan Hsi Yong; Chi-Hua Chen; Tim Teitelbaum (CAV, 2005)

CodeSurfer/x86-A Platform for Analyzing x86 Executables. - Gogul Balakrishnan; Radu Gruian; Thomas W. Reps; Tim Teitelbaum (CC, 2005)