Alex Gyori

According to our database, Alex Gyori authored at least 15 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

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, Tianyin Xu

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

Evaluating test-suite reduction in real software evolution.

August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

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

Alex Gyori, Owolabi Legunsen, Farah Hariri, Darko Marinov

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

2017

Proactively detecting unreliable tests

Alex Gyori

PhD thesis, 2017

Refining interprocedural change-impact analysis using equivalence relations.

Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Efficient Incrementalized Runtime Checking of Linear Measures on Lists.

Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Exploring Underdetermined Specifications using Java PathFinder.

Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov

ACM SIGSOFT Softw. Eng. Notes, 2016

Interprocedural Semantic Change-Impact Analysis using Equivalence Relations.

Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush

CoRR, 2016

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

Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications.

August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015

Comparing and combining test-suite reduction and regression test selection.

August Shi, Tifany Yung, Alex Gyori, Darko Marinov

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

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

Alex Gyori, August Shi, Farah Hariri, Darko Marinov

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

Balancing trade-offs in test-suite reduction.

August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, Darko Marinov

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

2013

Crossing the gap from imperative to functional programming through refactoring.

Alex Gyori, Lyle Franklin, Danny Dig, Jan Lahoda

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

LAMBDAFICATOR: from imperative to functional programming through automated refactoring.

Lyle Franklin, Alex Gyori, Jan Lahoda, Danny Dig

Proceedings of the 35th International Conference on Software Engineering, 2013