Visible to the public Biblio

Filters: Author is Alex Gyori  [Clear All Filters]
Conference Paper
Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan.  2017.  Efficient Incrementalized Runtime Checking of Linear Measures on Lists. IEEE International Conference on Software Testing, Verification and Validation (ICST). :310–320.
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush.  2017.  Refining Interprocedural Change-Impact Analysis using Equivalence Relations. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). :318–328.