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

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