Gogul Balakrishnan Thomas W. Reps Nicholas Kidd Akash Lal Junghee Lim David Melski Radu Gruian Suan Hsi Yong Chi-Hua Chen Tim Teitelbaum Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. 158-163 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_17 db/conf/cav/cav2005.html#BalakrishnanRKLLMGYCT05