• Sign in
  • Sign up
conf.researchr.org / Sanjai Rayadurgam
  • ASE 2020 profile
  • ASE 2021 profile
  • ESEC/FSE 2018 profile
  • ICSE 2020 profile
  • ICSE 2022 profile
  • ISSTA 2017 profile
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

Share
xMon 6 Feb 06:49
using conf.researchr.org (v1.58.0)
Support page
Sign Up