@inproceedings{SCAM-2013-MattsenCS,
	author        = "Sven Mattsen and Pascal Cuoq and Sibylle Schupp",
	booktitle     = "{Proceedings of the 13th International Working Conference on Source Code Analysis and Manipulation}",
	doi           = "10.1109/SCAM.2013.6648185",
	pages         = "63--68",
	publisher     = "{IEEE}",
	title         = "{Driving a sound static software analyzer with branch-and-bound}",
	year          = 2013,
}