Sven Mattsen, Pascal Cuoq, Sibylle Schupp. Driving a sound static software analyzer with branch-and-bound. In 13th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2013, Eindhoven, Netherlands, September 22-23, 2013. pages 63-68, IEEE, 2013. [doi]
Abstract is missing.