Static Analysis versus Software Model Checking for Bug Finding
Abstract elided by the publisher.
Related papers
- Software Model Checking via Summary-Guided Search OOPSLA 2025
- Genericity versus Inheritance OOPSLA 1986
- RoleCast: finding missing security checks when you do not know what checks are OOPSLA 2011
- A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking APLAS 2014
- The SLAM project: debugging system software via static analysis POPL 2002
- Static detection of asymptotic performance bugs in collection traversals PLDI 2015
- SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability CAV 2018
- Probabilistic, modular and scalable inference of typestate specifications PLDI 2011