@inproceedings{ICSE-2010-KumarSS,
	author        = "N. V. Narendra Kumar and Harshit J. Shah and R. K. Shyamasundar",
	booktitle     = "{Proceedings of the 32nd International Conference on Software Engineering}",
	doi           = "10.1145/1810295.1810323",
	editor        = "Jeff Kramer and Judith Bishop and Premkumar T. Devanbu and Sebastián Uchitel",
	isbn          = "978-1-60558-719-6",
	pages         = "175--178",
	publisher     = "{ACM}",
	title         = "{Can we certify systems for freedom from malware}",
	volume        = 2,
	year          = 2010,
}