@article{SAC-PL-J-2008-BussBSE10,
	author        = "Marcio Buss and Daniel Brand and Vugranam C. Sreedhar and Stephen A. Edwards",
	doi           = "10.1016/j.scico.2009.08.002",
	journal       = "{Science of Computer Programming}",
	number        = 11,
	pages         = "921--942",
	title         = "{A novel analysis space for pointer analysis and its application for bug finding}",
	volume        = 75,
	year          = 2010,
}