• 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
  • ICSE 2025 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

2025

FormaliSE

  • Author of CPS Falsification using Autoencoded Input Models within the Research Track-track

2022

FormaliSE

  • Author of Counterexample-Guided Inductive Repair of Reactive Contracts within the FormaliSE 2022-track

2021

ASE

  • Author of Counterexample Guided Inductive Repair of Reactive Contracts within the Late Breaking Results-track

2020

ASE

  • Author of Synthesis of Infinite-State Systems with Random Behavior within the Research Papers-track

ICSE

  • Author of Manifold for Machine Learning Assurance within the New Ideas and Emerging Results-track

2018

ESEC/FSE

  • Author of Contract Discovery from Black-Box Components within the WASPI-track

2017

ISSTA

  • Author of Discovering Instructions for Robust Binary-Level Coverage Criteria within the TECPS-track
Share
xMon 12 May 02:38
using conf.researchr.org (v1.69.0)
Support page
Sign Up