Visible to the public Biblio

Filters: Author is Alex Gyori  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
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.