Follow
Alex Gyori
Alex Gyori
Facebook
Verified email at illinois.edu - Homepage
Title
Cited by
Cited by
Year
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
1262014
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
1122015
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
1012015
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
762013
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
752016
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
552013
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
352018
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
302016
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
252018
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
252018
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
252017
Exploring Underdetermined Specifications using Java PathFinder
A Gyori, B Lambeth, S Khurshid, D Marinov
ACM SIGSOFT Software Engineering Notes 41 (6), 1-5, 2017
42017
Proactively detecting unreliable tests
A Gyori
University of Illinois at Urbana-Champaign, 2017
32017
Interprocedural semantic change-impact analysis using equivalence relations
A Gyori, SK Lahiri, N Partush
arXiv preprint arXiv:1609.08734, 2016
22016
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
12017
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