@article{SCAM-J-2001-SouterP02,
	author        = "Amie L. Souter and Lori L. Pollock",
	doi           = "10.1016/S0950-5849(02)00126-X",
	journal       = "{Information & Software Technology}",
	number        = 13,
	pages         = "721--732",
	title         = "{Characterization and automatic identification of type infeasible call chains}",
	volume        = 44,
	year          = 2002,
}