conf.researchr.org / Sanjai Rayadurgam

Not registered as user yet

Name:Sanjai Rayadurgam
Affiliation:University of Minnesota

Contributions

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