Refining interprocedural change-impact analysis using equivalence relations.

Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush

Browse the full ISSTA paper archive.