Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Amirfarhad Nilizadeh

Registered user since Wed 14 Apr 2021

Name:Amirfarhad Nilizadeh
Country:United States
Affiliation:University of Central Florida
Research interests:Formal Methods, Testing, Automated Program Repair, Fuzzing, Computer Vision

Contributions

APR 2022 Be Realistic: Automated Program Repair is a Combination of Undecidable Problems
FormaliSE 2022 Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts
Show activities from other conferences

ICSE 2022-profile
View general profile