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	Author of Counterexample-Guided Inductive Repair of Reactive Contracts within the FormaliSE 2022-track
ASE 2021	Author of Counterexample Guided Inductive Repair of Reactive Contracts within the Late Breaking Results-track
ASE 2020	Author of Synthesis of Infinite-State Systems with Random Behavior within the Research Papers-track
ICSE 2020	Author of Manifold for Machine Learning Assurance within the New Ideas and Emerging Results-track
ESEC/FSE 2018	Author of Contract Discovery from Black-Box Components within the WASPI-track
ISSTA 2017	Author of Discovering Instructions for Robust Binary-Level Coverage Criteria within the TECPS-track