Automatic Loop Summarization via Path Dependency Analysis
The program dependence graph in a software development environment