A. Gyori

Abstraction-guided Runtime Checking of Assertions on Lists

P. Madhusudan, P. Garg, A. Gyori, 2015 .

Evaluating test-suite reduction in real software evolution

Darko Marinov, Alex Gyori, August Shi, 2018, ISSTA.

Refining interprocedural change-impact analysis using equivalence relations

Nimrod Partush, Shuvendu K. Lahiri, Alex Gyori, 2017, ISSTA.

Comparing and combining test-suite reduction and regression test selection

Darko Marinov, Alex Gyori, August Shi, 2015, ESEC/SIGSOFT FSE.

Balancing trade-offs in test-suite reduction

Darko Marinov, Milos Gligoric, Alex Gyori, 2014, SIGSOFT FSE.

Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications

Darko Marinov, Owolabi Legunsen, Alex Gyori, 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).

LambdaFicator: From imperative to functional programming through automated refactoring

Danny Dig, Alex Gyori, Lyle Franklin, 2013, 2013 35th International Conference on Software Engineering (ICSE).

Efficient Incrementalized Runtime Checking of Linear Measures on Lists

Pranav Garg, P. Madhusudan, Edgar Pek, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Maelstrom: Mitigating Datacenter-level Disasters by Draining Interdependent Traffic Safely and Efficiently

Tianyin Xu, Kaushik Veeraraghavan, Justin Meza, 2018, OSDI.

Exploring Underdetermined Specifications using Java PathFinder

Sarfraz Khurshid, Darko Marinov, Alex Gyori, 2017, SOEN.

Crossing the gap from imperative to functional programming through refactoring

Danny Dig, Alex Gyori, Lyle Franklin, 2013, ESEC/FSE 2013.