Amirfarhad Nilizadeh

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 12

Top Topics

Semantic Constraints

Information Hiding

Top Venues

Formal Aspects Comput.

Publications

Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Yannic Noller
JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking. Formal Aspects Comput. 36 (1) (2024)
Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok
Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs. J. Object Technol. 23 (2) (2024)
Amirfarhad Nilizadeh
Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods. ICST (2022)
Amirfarhad Nilizadeh, Gary T. Leavens
Be Realistic: Automated Program Repair is a Combination of Undecidable Problems. APR@ICSE (2022)
Amirfarhad Nilizadeh, Shirin Nilizadeh, Wojciech Mazurczyk, Cliff C. Zou, Gary T. Leavens
Adaptive Matrix Pattern Steganography on RGB Images. J. Cyber Secur. Mobil. 11 (1) (2022)
Gary T. Leavens, David R. Cok, Amirfarhad Nilizadeh
Further Lessons from the JML Project. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, David R. Cok
Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts. FormaliSE@ICSE (2022)
Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok
Automated Reasoning Repair. FTfJP@ECOOP (2022)
Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu
Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. TAP@STAF (2021)
Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods. ICST (2021)
Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, Xuan-Bach D. Le
More Reliable Test Suites for Dynamic APR by using Counterexamples. ISSRE (2021)
Amirfarhad Nilizadeh, Wojciech Mazurczyk, Cliff C. Zou, Gary T. Leavens
Information Hiding in RGB Images Using an Improved Matrix Pattern Approach. CVPR Workshops (2017)