| 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 | 129 | 2014 |
| 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 | 115 | 2015 |
| 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 | 109 | 2015 |
| 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 | 84 | 2016 |
| 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 | 78 | 2013 |
| 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 | 60 | 2013 |
| 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 | 43 | 2018 |
| 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 | 36 | 2016 |
| 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 | 34 | 2018 |
| 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 | 30 | 2018 |
| 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 | 28 | 2017 |
| Exploring Underdetermined Specifications using Java PathFinder A Gyori, B Lambeth, S Khurshid, D Marinov ACM SIGSOFT Software Engineering Notes 41 (6), 1-5, 2017 | 5 | 2017 |
| 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 | 4 | 2017 |
| Proactively detecting unreliable tests A Gyori University of Illinois at Urbana-Champaign, 2017 | 3 | 2017 |
| Interprocedural semantic change-impact analysis using equivalence relations A Gyori, SK Lahiri, N Partush arXiv preprint arXiv:1609.08734, 2016 | 2 | 2016 |
| 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 | | |
