Information Hiding in RGB Images Using an Improved Matrix Pattern Approach. - Amirfarhad Nilizadeh; Wojciech Mazurczyk; Cliff C. Zou; Gary T. Leavens (CVPR Workshops, 2017)

Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods. - Amirfarhad Nilizadeh; Gary T. Leavens; Xuan-Bach Dinh Le 001; Corina S. Pasareanu; David R. Cok (ICST, 2021)

More Reliable Test Suites for Dynamic APR by using Counterexamples. - Amirfarhad Nilizadeh; Marlon Calvo; Gary T. Leavens; Xuan-Bach Dinh Le 001 (ISSRE, 2021)

Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. - Amirfarhad Nilizadeh; Gary T. Leavens; Corina S. Pasareanu (TAP@STAF, 2021)

Further Lessons from the JML Project. - Gary T. Leavens; David R. Cok; Amirfarhad Nilizadeh (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Automated Reasoning Repair. - Amirfarhad Nilizadeh; Gary T. Leavens; David R. Cok (FTfJP@ECOOP, 2022)

Be Realistic: Automated Program Repair is a Combination of Undecidable Problems. - Amirfarhad Nilizadeh; Gary T. Leavens (APR@ICSE, 2022)

Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts. - Amirfarhad Nilizadeh; Marlon Calvo; Gary T. Leavens; David R. Cok (FormaliSE@ICSE, 2022)

Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods. - Amirfarhad Nilizadeh (ICST, 2022)

Adaptive Matrix Pattern Steganography on RGB Images. - Amirfarhad Nilizadeh; Shirin Nilizadeh; Wojciech Mazurczyk; Cliff C. Zou; Gary T. Leavens (J. Cyber Secur. Mobil., 2022)

Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable? - Amirfarhad Nilizadeh; Gary T. Leavens; Corina S. Pasareanu; Xuan-Bach Dinh Le 001; David R. Cok (ICST, 2024)

Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs. - Amirfarhad Nilizadeh; Gary T. Leavens; David R. Cok (J. Object Technol., 2024)

JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking. - Amirfarhad Nilizadeh; Gary T. Leavens; Corina S. Pasareanu; Yannic Noller (Formal Aspects Comput., 2024)