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

FTfJP 2022	Author of Automated Reasoning Repair within the FTfJP-track
VORTEX 2022	Author of Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs within the VORTEX 2022-track
APR 2022	Author of Be Realistic: Automated Program Repair is a Combination of Undecidable Problems within the APR 2022-track
FormaliSE 2022	Author of Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts within the FormaliSE 2022-track
ICST 2022	Author of Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods within the Doctoral Symposium-track
SPLASH 2021	Author of Test Overfitting: Challenges, Approaches and Measurements within the Doctoral Symposium-track
ICST 2021	Author of Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods within the Research Papers-track