Visible to the public Biblio

Filters: Author is Alex Gyori  [Clear All Filters]
Thesis
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.