Refining Interprocedural Change-Impact Analysis using Equivalence Relations

Alex Gyori, Shuvendu K Lahiri, Nimrod Partush
Conference Papers (ISSTA) International Symposium on Software Testing and Analysis 2017, July 2017, Pages (To Appear)

Efficient Incrementalized Runtime Checking of Linear Measures on Lists

Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan
Conference Papers (ICST) IEEE International Conference on Software Testing, Verification and Validation 2017, March 2017, Pages (To Appear)

Exploring Underdetermined Specifications using Java PathFinder

Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov
Workshop Papers (JPF) Java Pathfinder 2016 Workshop, November 2016, Pages (To Appear)

NonDex: A tool for detecting and debugging wrong assumptions on Java API specifications

Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov
Conference Papers (FSE DEMO) ACM SIGSOFT Symposium on the Foundations of Software Engineering, November 2016, Pages 993-997

Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications

August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov
Conference Papers (ICST) IEEE International Conference on Software Testing, Verification and Validation 2016, April 2016, Pages 80-90

Comparing and Combining Test-Suite Reduction and Regression Test Selection

August Shi, Tifany Yung, Alex Gyori, Darko Marinov
Conference Papers (FSE) ACM SIGSOFT Symposium on the Foundations of Software Engineering, September 2015, Pages 237-247

Reliable testing: detecting state-polluting tests to prevent test dependency

Alex Gyori, August Shi, Farah Hariri, Darko Marinov
Conference Papers (ISSTA) International Symposium on Software Testing and Analysis, July 2015, Pages 223-233

Balancing Trade-offs in Test-suite Reduction

August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, Darko Marinov
Conference Papers(FSE) ACM SIGSOFT Symposium on the Foundations of Software Engineering, November 2014, Pages 246-256

Crossing the Gap from Imperative to Functional Programming through Refactoring

Alex Gyori, Danny Dig, Lyle Franklin, Jan Lahoda
Conference Papers(FSE) ACM SIGSOFT Symposium on the Foundations of Software Engineering, August 2013, Pages 543-553

LAMBDAFICATOR: From Imperative to Functional Programming through Automated Refactoring

Lyle Franklin, Alex Gyori, Jan Lahoda, Danny Dig
Conference Papers(ICSE) 35th International Conference on Software Engineering, May 2013 , Pages 1287-1290