Scalable and precise program analysis at nec (2010)

by G Balakrishnan, M K Ganai, A Gupta, F Ivancic, V Kahlon, W Li, N Maeda, N Papakonstantinou, S Sankaranarayanan, N Sinha, C Wang
Venue:In FMCAD