Alex Gyori

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 9

Top Topics

Functional Programming

Equivalence Relation

Impact Analysis

Top Venues

ESEC/SIGSOFT FSE

Publications

August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov
Evaluating test-suite reduction in real software evolution. ISSTA (2018)
Kaushik Veeraraghavan, Justin Meza, Scott Michelson, Sankaralingam Panneerselvam, Alex Gyori, David Chou, Sonia Margulis, Daniel Obenshain, Shruti Padmanabha, Ashish Shah, Yee Jiun Song, Tianyin Xu
Maelstrom: Mitigating Datacenter-level Disasters by Draining Interdependent Traffic Safely and Efficiently. OSDI (2018)
Alex Gyori, Owolabi Legunsen, Farah Hariri, Darko Marinov
Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem. ISSRE (2018)
Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan
Efficient Incrementalized Runtime Checking of Linear Measures on Lists. ICST (2017)
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush
Refining interprocedural change-impact analysis using equivalence relations. ISSTA (2017)
Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov
Exploring Underdetermined Specifications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov
NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications. SIGSOFT FSE (2016)
August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov
Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. ICST (2016)
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush
Interprocedural Semantic Change-Impact Analysis using Equivalence Relations. CoRR (2016)
Alex Gyori, August Shi, Farah Hariri, Darko Marinov
Reliable testing: detecting state-polluting tests to prevent test dependency. ISSTA (2015)
August Shi, Tifany Yung, Alex Gyori, Darko Marinov
Comparing and combining test-suite reduction and regression test selection. ESEC/SIGSOFT FSE (2015)
August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, Darko Marinov
Balancing trade-offs in test-suite reduction. SIGSOFT FSE (2014)
Alex Gyori, Lyle Franklin, Danny Dig, Jan Lahoda
Crossing the gap from imperative to functional programming through refactoring. ESEC/SIGSOFT FSE (2013)
Lyle Franklin, Alex Gyori, Jan Lahoda, Danny Dig
LAMBDAFICATOR: from imperative to functional programming through automated refactoring. ICSE (2013)