Visible to the public Biblio

Filters: Keyword is 1646392  [Clear All Filters]
2018-05-25
Earlence Fernandes.  2017.  Securing Personal IoT Platforms Through Systematic Analysis and Design.
Alex Gyori.  2017.  Proactively Detecting Unreliable Tests.
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.
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.