Jump to Content

Program Analysis Using Symbolic Ranges

Sriram Sankaranarayanan
Aarti Gupta
SAS (2007), pp. 366-383

Abstract

Research Areas