Amirfarhad Nilizadeh -

Registered user since Wed 14 Apr 2021

Name:Amirfarhad Nilizadeh

Country:United States

Affiliation:University of Central Florida

GitHub: https://github.com/Amirfarhad-Nilizadeh

Research interests:Formal Methods, Testing, Automated Program Repair, Fuzzing, Computer Vision

Contributions

2024

ICST

Author of Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable? within the Research Papers-track

2023

ICST

Author of Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods within the Previous Editions-track

2022

FTfJP

Author of Automated Reasoning Repair within the FTfJP-track

VORTEX

Author of Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs within the VORTEX 2022-track

APR

Author of Be Realistic: Automated Program Repair is a Combination of Undecidable Problems within the APR 2022-track

FormaliSE

Author of Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts within the FormaliSE 2022-track

ICST

Author of Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods within the Doctoral Symposium-track

2021

SPLASH

Author of Test Overfitting: Challenges, Approaches and Measurements within the Doctoral Symposium-track

ICST

Author of Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods within the Research Papers-track