Sanjai Rayadurgam

University of Minnesota — United States

Computer Science · Physical Sciences

16h-index903citations66works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Reliability and Analysis Research(28), Software Testing and Debugging Techniques(26), Formal Methods in Verification(19), Model-Driven Software Engineering Techniques(11), Safety Systems Engineering in Autonomy(11)

Publications66 total

Cps Falsification Using Autoencoded Input Models
2025
Counterexample-guided inductive repair of reactive contracts
2022· 1 cited
Counterexample Guided Inductive Repair of Reactive Contracts
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)·2021
Black-Box Testing of Deep Neural Networks
2021· 9 cited
Synthesis of infinite-state systems with random behavior
2020· 1 citedOpen Access
Run-Time Assurance for Learning-Based Aircraft Taxiing
2020· 25 cited
Manifold-based Test Generation for Image Classifiers
2020Open Access
Run-Time Assurance for Learning-Enabled Systems
Lecture notes in computer science·2020· 21 cited
Requirements Reference Models Revisited: Accommodating Hierarchy in System Design
2019· 4 cited
Input Prioritization for Testing Neural Networks
2019· 6 citedOpen Access
Contract discovery from black-box components
2018
Toward Rigorous Object-Code Coverage Criteria
2017· 5 cited
Selected Extended Papers of NFM 2016: Preface
Journal of Automated Reasoning·2017· 1 cited
Discovering instructions for robust binary-level coverage criteria
2017· 2 cited
Domain modeling for development process simulation
2017
Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey
Lecture notes in computer science·2017· 20 cited
From Requirements to Code: Model Based Development of a Medical Cyber Physical System
Lecture notes in computer science·2017· 20 cited
Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors
IEEE Transactions on Software Engineering·2016· 8 cited
Proceedings of the 8th International Symposium on NASA Formal Methods - Volume 9690
2016
NASA Formal Methods
Lecture notes in computer science·2016· 4 cited
page 1 of 4Next →

Frequent Co-authors

Mats P. E. Heimdahl(36), Anitha Murugesan(12), Michael W. Whalen(10), Taejoon Byun(6), Oleg Sokolsky(6), Insup Lee(6), Wei‐Tek Tsai(6), Lian Duan(5), Yunja Choi(5), Darren Cofer(4), Gregory Gay(4), Willem Visser(3), Isaac Amundson(3), Vaibhav Sharma(3), George Devaraj(2), Jimin Gao(2), Ramachandra Sattigeri(2), Arjun Passi(2), Christopher Boggs(2), Eric W. Smith(2)