@inproceedings{ICPC-2009-LiuM,
	author        = "Yin Liu and Ana Milanova",
	booktitle     = "{Proceedings of the 17th International Conference on Program Comprehension}",
	doi           = "10.1109/ICPC.2009.5090027",
	pages         = "50--59",
	publisher     = "{IEEE Computer Society}",
	title         = "{Practical static analysis for inference of security-related program properties}",
	year          = 2009,
}