Sanjai Rayadurgam

According to our database, Sanjai Rayadurgam authored at least 52 papers between 1996 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Counterexample Guided Inductive Repair of Reactive Contracts.

Soha Hussein, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Black-Box Testing of Deep Neural Networks.

Taejoon Byun, Sanjai Rayadurgam, Mats P. E. Heimdahl

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

2020

Run-Time Assurance for Learning-Enabled Systems.

Darren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Synthesis of Infinite-State Systems with Random Behavior.

Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Manifold-based Test Generation for Image Classifiers.

Taejoon Byun, Sanjai Rayadurgam

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Manifold for machine learning assurance.

Taejoon Byun, Sanjai Rayadurgam

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

Manifold-based Test Generation for Image Classifiers.

Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Requirements Reference Models Revisited: Accommodating Hierarchy in System Design.

Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Input Prioritization for Testing Neural Networks.

Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018

Selected Extended Papers of NFM 2016: Preface.

César A. Muñoz, Sanjai Rayadurgam, Oksana Tkachuk

J. Autom. Reason., 2018

Contract discovery from black-box components.

Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, 2018

2017

Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors.

Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl

IEEE Trans. Software Eng., 2017

Toward Rigorous Object-Code Coverage Criteria.

Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Domain modeling for development process simulation.

Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 2017 International Conference on Software and System Process, 2017

2016

Representation of Confidence in Assurance Cases Using the Beta Distribution.

Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015

Design Considerations for Modeling Modes in Cyber-Physical Systems.

Anitha Murugesan, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl

IEEE Des. Test, 2015

Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162).

Jane Cleland-Huang, Sanjai Rayadurgam, Patrick Mäder, Wilhelm Schäfer

Dagstuhl Reports, 2015

Representing Confidence in Assurance Case Evidence.

Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee

Proceedings of the Computer Safety, Reliability, and Security, 2015

Hierarchical multi-formalism proofs of cyber-physical systems.

Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Executing Model-Based Tests on Platform-Specific Implementations (T).

Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Efficient observability-based test generation by dynamic symbolic execution.

Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

A reference model for simulating agile processes.

Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 2015 International Conference on Software and System Process, 2015

2014

Improving the accuracy of oracle verdicts through automated model steering.

Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Practical aspects of building a constrained random test framework for safety-critical embedded systems.

Dongjiang You, Isaac Amundson, Scott Hareland, Sanjai Rayadurgam

Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, 2014

Structuring simulink models for verification and reuse.

Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014

Exploring the twin peaks using probabilistic verification techniques.

Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee

Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, 2014

Steering model-based oracles to admit real program behaviors.

Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 36th International Conference on Software Engineering, 2014

Analysis and testing of PLEXIL plans.

Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety.

Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

From Requirements to Code: Model Based Development of a Medical Cyber Physical System.

Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey.

Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

2013

Your "What" Is My "How": Iteration and Hierarchy in System Design.

Michael W. Whalen, Andrew Gacek, Darren D. Cofer, Anitha Murugesan, Mats Per Erik Heimdahl, Sanjai Rayadurgam

IEEE Softw., 2013

Compositional verification of a medical device system.

Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Modes, features, and state-based modeling for clarity and flexibility.

Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013

Modeling and requirements on the physical side of cyber-physical systems.

Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam

Proceedings of the 2nd International Workshop on the Twin Peaks of Requirements and Architecture, 2013

2003

Generating MC/DC Adequate Test Sequences Through Model Checking.

Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language.

Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl

Proceedings of the Formal Methods and Software Engineering, 2003

Auto-generating Test Sequences Using Model Checkers: A Case Study.

Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao

Proceedings of the Formal Approaches to Software Testing, 2003

2002

Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints.

Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Requir. Eng., 2002

2001

Automatic abstraction for model checking software systems with interrelated numeric constraints.

Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Automated Test-Data Generation from Formal Models of Software.

Sanjai Rayadurgam

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Test-Sequence Generation from Formal Requirement Models.

Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

Coverage Based Test-Case Generation Using Model Checkers.

Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001

1999

Assurance-Based Y2K Testing.

Wei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998

Key Applications for High-Assurance Systems.

I-Ling Yen, Raymond A. Paul, Victor L. Winter, John M. Covan, Larry J. Dalton, Leon Alkalai, Ann T. Tai, Rick Harper, Barry Flahive, Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry

Computer, 1998

Automating Regression Testing for Real-Time Software in a Distributed Environment.

Feng Zhu, Sanjai Rayadurgam, Wei-Tek Tsai

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

An agent architecture for supporting individualized services in Internet applications.

Weiguang Shao, Wei-Tek Tsai, Sanjai Rayadurgam, Robert Lai

Proceedings of the Tenth IEEE International Conference on Tools with Artificial Intelligence, 1998

Design for Constraint Violation Detection in Safety-Critical Systems.

Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997

Interview with Takashi Sano.

Takashi Sano, Wei-Tek Tsai, Sanjai Rayadurgam

J. Softw. Maintenance Res. Pract., 1997

Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment.

Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam

Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

1996

The Role of Program Slicing in Ripple Effect Analysis.

Yamin Wang, Wei-Tek Tsai, Xiaoping Chen, Sanjai Rayadurgam

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Omega - an integrated environment for C++ program maintenance.

Xiaoping Chen, Wei-Tek Tsai, Hai Huang, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang

Proceedings of the 1996 International Conference on Software Maintenance (ICSM '96), 1996