Alex Gyori
Alex Gyori
Facebook
Verified email at illinois.edu - Homepage
TitleCited byYear
Balancing trade-offs in test-suite reduction
A Shi, A Gyori, M Gligoric, A Zaytsev, D Marinov
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
732014
Comparing and combining test-suite reduction and regression test selection
A Shi, T Yung, A Gyori, D Marinov
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
612015
Crossing the gap from imperative to functional programming through refactoring
A Gyori, L Franklin, D Dig, J Lahoda
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
462013
Reliable testing: Detecting state-polluting tests to prevent test dependency
A Gyori, A Shi, F Hariri, D Marinov
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
392015
LAMBDAFICATOR: from imperative to functional programming through automated refactoring
L Franklin, A Gyori, J Lahoda, D Dig
Proceedings of the 2013 International Conference on Software Engineering …, 2013
272013
Detecting assumptions on deterministic implementations of non-deterministic specifications
A Shi, A Gyori, O Legunsen, D Marinov
2016 IEEE International Conference on Software Testing, Verification and …, 2016
132016
Refining interprocedural change-impact analysis using equivalence relations
A Gyori, SK Lahiri, N Partush
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
92017
Evaluating test-suite reduction in real software evolution
A Shi, A Gyori, S Mahmood, P Zhao, D Marinov
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
62018
Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem
A Gyori, O Legunsen, F Hariri, D Marinov
2018 IEEE 29th International Symposium on Software Reliability Engineering …, 2018
52018
Maelstrom: Mitigating datacenter-level disasters by draining interdependent traffic safely and efficiently
K Veeraraghavan, J Meza, S Michelson, S Panneerselvam, A Gyori, ...
13th {USENIX} Symposium on Operating Systems Design and Implementation …, 2018
42018
NonDex: A tool for detecting and debugging wrong assumptions on Java API specifications
A Gyori, B Lambeth, A Shi, O Legunsen, D Marinov
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
42016
Proactively detecting unreliable tests
A Gyori
University of Illinois at Urbana-Champaign, 2017
12017
Exploring Underdetermined Specifications using Java PathFinder
A Gyori, B Lambeth, S Khurshid, D Marinov
ACM SIGSOFT Software Engineering Notes 41 (6), 1-5, 2017
12017
Interprocedural semantic change-impact analysis using equivalence relations
A Gyori, SK Lahiri, N Partush
arXiv preprint arXiv:1609.08734, 2016
12016
Efficient Incrementalized Runtime Checking of Linear Measures on Lists
A Gyori, P Garg, E Pek, P Madhusudan
Software Testing, Verification and Validation (ICST), 2017 IEEE …, 2017
2017
Bridging the Gap Between Functional and Imperative Programming through Refactoring
A Gyori
2013
Abstraction-guided Runtime Checking of Assertions on Lists
A Gyori, P Garg, E Pek, P Madhusudan
The system can't perform the operation now. Try again later.
Articles 1–17