MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Model Checking x86 Executables with CodeSurfer/x86 and WPDS ." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Model Checking x86 Executables  
  • by With Codesurfer And, G. Balakrishnan, T. Reps, N. Kidd, A. Lal, J. Lim, D. Melski, R. Gruian, S. Yong, C. -h. Chen, T. Teitelbaum — 2005 — In CAV
  • …Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ G. Balakrishnan , T. Reps�, N. Kidd…
  • Add To MetaCart
  • A Wiley-Interscience Publication  
  • by Gogul Balakrishnan, Advisor Prof, Thomas W. Reps — 1998
  • ….-H., and Teitelbaum, T., Model checking x86 executables with CodeSurfer/x86 and WPDS++, (Tool Demonstration Paper…
  • Cited by 1 (0 self) – Add To MetaCart
  • Publications Refereed Conference Publications  
  • by Nicholas Andrew Kidd, Advised Professor, Thomas W. Reps, N. Kidd, T. Reps, J. Dolby, M. Vaziri, Finding Concurrency-related Bugs
  • … checking x86 executables with CodeSurfer/x86 and WPDS++. In Computer Aided Verification (CAV), July 2005…
  • Add To MetaCart
  • Research Intern  
  • by Advisor Prof, Thomas Reps, Fall Spring, Mentor Sumit Gulwani — 2005
  • … executables with CodeSurfer/x86 and WPDS++, (tool-demonstration paper). In Proc. Computer Aided Verification…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB