Documents Related by Co-Citation

348 Automatic predicate abstraction of C programs – Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - 2001
520 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
315 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
330 CIL: Intermediate language and tools for analysis and transformation of C programs – George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer - 2002
348 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
318 The SLAM project: debugging system software via static analysis – Thomas Ball, Sriram K. Rajamani
181 A System and Language for Building System-Specific, Static Analyses – Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler - 2002
224 ESP: Path-Sensitive Program Verification in Polynomial Time – Manuvir Das, Sorin Lerner, Mark Seigle - 2002
482 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
1637 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
455 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
909 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
181 Modular verification of software components in C – Sagar Chaki, Edmund Clarke, Alex Groce, et al. - 2003
146 Generalized Symbolic Execution for Model Checking and Testing – Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser - 2003
322 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
242 A static analyzer for finding dynamic programming errors. Software—Practice and Experience – W R Bush, J D Pincus, D J Sielaff - 2000
175 Unification-based Pointer Analysis with Directional Assignments – Manuvir Das - 2000
514 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
286 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002