Variably interprocedural program analysis for runtime error detection. (2007)

by A Tomb, G Brat, W Visser
Venue:In Proc. of the 2007 Intl. Symp. on Softw. Testing and Analysis,