Visible to the public Refining Interprocedural Change-Impact Analysis using Equivalence Relations

Submitted by el_wehby on Fri, 05/25/2018 - 4:07pm
TitleRefining Interprocedural Change-Impact Analysis using Equivalence Relations
Publication TypeConference Paper
Year of Publication2017
AuthorsAlex Gyori, Shuvendu K. Lahiri, Nimrod Partush
Conference NameACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
Conference LocationSanta Barbara, CA
Keywords1646392
Citation KeyGyoriETAL17IncrementalizedRuntimeChecking
Groups: