Sanjai Rayadurgam -

Not registered as user yet

Name:Sanjai Rayadurgam

Affiliation:University of Minnesota

Contributions

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