@inproceedings{ICSM-2011-JiresalCN,
	author        = "Rahul Jiresal and Adnan Contractor and Ravindra Naik",
	booktitle     = "{Proceedings of the 27th Conference on Software Maintenance}",
	doi           = "10.1109/ICSM.2011.6080812",
	isbn          = "978-1-4577-0663-9",
	pages         = "448--456",
	publisher     = "{IEEE}",
	title         = "{Precise detection of un-initialized variables in large, real-life COBOL programs in presence of unrealizable paths}",
	year          = 2011,
}