Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Sanjai Rayadurgam

Registered user since Thu 31 Mar 2022

Name:Sanjai Rayadurgam
Country:United States
Affiliation:University of Minnesota
Research interests:Software Testing, Verification,

Contributions

FormaliSE 2022 Counterexample-Guided Inductive Repair of Reactive Contracts
Show activities from other conferences

ICSE 2022-profile
View general profile