| 2024 | ICST | Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable? | Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Xuan-Bach Dinh Le, David R. Cok |
| 2022 | FTfJP | Automated Reasoning Repair. | Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok |
| 2022 | ICST | Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods. | Amirfarhad Nilizadeh |
| 2021 | ICST | Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods. | Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok |
| 2021 | ISSRE | More Reliable Test Suites for Dynamic APR by using Counterexamples. | Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, Xuan-Bach Dinh Le |
| 2021 | TAP | Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. | Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu |
| 2017 | CVPR | Information Hiding in RGB Images Using an Improved Matrix Pattern Approach. | Amirfarhad Nilizadeh, Wojciech Mazurczyk, Cliff C. Zou, Gary T. Leavens |