Revamping TVLA: Making Parametric Shape Analysis Competitive. - Igor Bogudlov; Tal Lev-Ami; Thomas W. Reps; Mooly Sagiv (CAV, 2007)