Publications

Maelstrom: Mitigating Datacenter-level Disasters by Draining Interdependent Traffic Safely and Efficiently

Kaushik Veeraraghavan, Justin Meza, Scott Michelson, Sankaralingam Panneerselvam, Alex Gyori, David Chou, Sonia Margulis, Daniel Obenshain, Shruti Padmanabha, Ashish Shah, Yee Jiun Song, and Tianyin Xu
Conference Papers (OSDI) 13th USENIX Symposium on Operating Systems Design and Implementation, October 2018, Pages 373-389

Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem

Alex Gyori, Owolabi Legunsen, Farah Hariri, Darko Marinov
Conference Papers (ISSRE) 29th IEEE International Symposium on Software Reliability Engineering, October 2018, Pages 112-122

Evaluating Test-Suite Reduction in Real Software Evolution

August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov
Conference Papers (ISSTA) International Symposium on Software Testing and Analysis 2018, September 2018, Pages 84-94

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 318-328

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 310-320

Exploring Underdetermined Specifications using Java PathFinder

Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov
Workshop Papers (JPF) Java Pathfinder 2016 Workshop, November 2016, Pages 1-5

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