Alex Gyori

15 papers A* 2A 6Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2018 A conf
Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem.
ISSRE
Alex Gyori, Owolabi Legunsen, Farah Hariri, Darko Marinov
2018 A conf
Evaluating test-suite reduction in real software evolution.
ISSTA
August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov
2018 A* conf
Maelstrom: Mitigating Datacenter-level Disasters by Draining Interdependent Traffic Safely and Efficiently.
OSDI
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
2017 A conf
Efficient Incrementalized Runtime Checking of Linear Measures on Lists.
ICST
Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan
2017 — —
Proactively detecting unreliable tests
Alex Gyori
2017 A conf
Refining interprocedural change-impact analysis using equivalence relations.
ISSTA
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush
2016 A conf
Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications.
ICST
August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov
2016 J jnl
Exploring Underdetermined Specifications using Java PathFinder.
ACM SIGSOFT Softw. Eng. Notes
Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov
2016 J jnl
Interprocedural Semantic Change-Impact Analysis using Equivalence Relations.
CoRR
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush
2016 — conf
NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications.
SIGSOFT FSE
Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov
2015 — conf
Comparing and combining test-suite reduction and regression test selection.
ESEC/SIGSOFT FSE
August Shi, Tifany Yung, Alex Gyori, Darko Marinov
2015 A conf
Reliable testing: detecting state-polluting tests to prevent test dependency.
ISSTA
Alex Gyori, August Shi, Farah Hariri, Darko Marinov
2014 — conf
Balancing trade-offs in test-suite reduction.
SIGSOFT FSE
August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, Darko Marinov
2013 — conf
Crossing the gap from imperative to functional programming through refactoring.
ESEC/SIGSOFT FSE
Alex Gyori, Lyle Franklin, Danny Dig, Jan Lahoda
2013 A* conf
LAMBDAFICATOR: from imperative to functional programming through automated refactoring.
ICSE
Lyle Franklin, Alex Gyori, Jan Lahoda, Danny Dig