Sanjai Rayadurgam

59 papers A* 5A 4B 3C 7Journal 12Unranked 27

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Cps Falsification Using Autoencoded Input Models. FormaliSE Youssef Gordon Zahar, Sanjai Rayadurgam
2022	—	`conf`	Counterexample-Guided Inductive Repair of Reactive Contracts. FormaliSE@ICSE Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P. E. Heimdahl
2021	A	`conf`	Black-Box Testing of Deep Neural Networks. ISSRE Taejoon Byun, Sanjai Rayadurgam, Mats P. E. Heimdahl
2021	A*	`conf`	Counterexample Guided Inductive Repair of Reactive Contracts. ASE Soha Hussein, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2020	J	`jnl`	Manifold for Machine Learning Assurance. CoRR Taejoon Byun, Sanjai Rayadurgam
2020	—	`conf`	Manifold for machine learning assurance. ICSE (NIER) Taejoon Byun, Sanjai Rayadurgam
2020	—	`conf`	Manifold-based Test Generation for Image Classifiers. AITest Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
2020	—	`conf`	Manifold-based Test Generation for Image Classifiers. ICSE (Workshops) Taejoon Byun, Sanjai Rayadurgam
2020	J	`jnl`	Manifold-based Test Generation for Image Classifiers. CoRR Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
2020	—	`conf`	Run-Time Assurance for Learning-Enabled Systems. NFM Darren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam
2020	A*	`conf`	Synthesis of Infinite-State Systems with Random Behavior. ASE Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen
2020	J	`jnl`	Synthesis of Infinite-State Systems with Random Behavior. CoRR Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen
2019	—	`conf`	Input Prioritization for Testing Neural Networks. AITest Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
2019	J	`jnl`	Input Prioritization for Testing Neural Networks. CoRR Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
2019	A	`conf`	Requirements Reference Models Revisited: Accommodating Hierarchy in System Design. RE Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2018	—	`conf`	Contract discovery from black-box components. WASPI@ESEC/SIGSOFT FSE Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2018	J	`jnl`	Selected Extended Papers of NFM 2016: Preface. J. Autom. Reason. César A. Muñoz, Sanjai Rayadurgam, Oksana Tkachuk
2017	J	`jnl`	Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors. IEEE Trans. Software Eng. Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2017	B	`conf`	Domain modeling for development process simulation. ICSSP Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2017	A	`conf`	Toward Rigorous Object-Code Coverage Criteria. ISSRE Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl
2016	—	`ed.`	NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings NFM Sanjai Rayadurgam, Oksana Tkachuk
2016	—	`conf`	Representation of Confidence in Assurance Cases Using the Beta Distribution. HASE Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee
2015	B	`conf`	A reference model for simulating agile processes. ICSSP Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2015	J	`jnl`	Design Considerations for Modeling Modes in Cyber-Physical Systems. IEEE Des. Test Anitha Murugesan, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl
2015	A	`conf`	Efficient observability-based test generation by dynamic symbolic execution. ISSRE Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay
2015	A*	`conf`	Executing Model-Based Tests on Platform-Specific Implementations (T). ASE Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky
2015	C	`conf`	Hierarchical multi-formalism proofs of cyber-physical systems. MEMOCODE Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee
2015	—	`conf`	Representing Confidence in Assurance Case Evidence. SAFECOMP Workshops Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee
2015	J	`jnl`	Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162). Dagstuhl Reports Jane Cleland-Huang, Sanjai Rayadurgam, Patrick Mäder, Wilhelm Schäfer
2014	—	`conf`	Analysis and testing of PLEXIL plans. FormaliSE Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry
2014	—	`conf`	Exploring the twin peaks using probabilistic verification techniques. TwinPeaks Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee
2014	—	`conf`	From Requirements to Code: Model Based Development of a Medical Cyber Physical System. FHIES/SEHC Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee
2014	A*	`conf`	Improving the accuracy of oracle verdicts through automated model steering. ASE Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2014	—	`conf`	Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. ICCPS Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee
2014	—	`conf`	Practical aspects of building a constrained random test framework for safety-critical embedded systems. MoSEMInA Dongjiang You, Isaac Amundson, Scott Hareland, Sanjai Rayadurgam
2014	—	`conf`	Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. FHIES/SEHC Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee
2014	—	`conf`	Steering model-based oracles to admit real program behaviors. ICSE Companion Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2014	C	`conf`	Structuring simulink models for verification and reuse. MiSE Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2013	—	`conf`	Compositional verification of a medical device system. HILT Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2013	—	`conf`	Modeling and requirements on the physical side of cyber-physical systems. TwinPeaks@ICSE Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam
2013	C	`conf`	Modes, features, and state-based modeling for clarity and flexibility. MiSE Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2013	J	`jnl`	Your "What" Is My "How": Iteration and Hierarchy in System Design. IEEE Softw. Michael W. Whalen, Andrew Gacek, Darren D. Cofer, Anitha Murugesan, Mats Per Erik Heimdahl, Sanjai Rayadurgam
2003	—	`conf`	Auto-generating Test Sequences Using Model Checkers: A Case Study. FATES Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao
2003	C	`conf`	Generating MC/DC Adequate Test Sequences Through Model Checking. SEW Sanjai Rayadurgam, Mats Per Erik Heimdahl
2003	C	`conf`	Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. ICFEM Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl
2002	J	`jnl`	Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. Requir. Eng. Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2001	A*	`conf`	Automated Test-Data Generation from Formal Models of Software. ASE Sanjai Rayadurgam
2001	—	`conf`	Automatic abstraction for model checking software systems with interrelated numeric constraints. ESEC / SIGSOFT FSE Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2001	—	`conf`	Coverage Based Test-Case Generation Using Model Checkers. ECBS Sanjai Rayadurgam, Mats Per Erik Heimdahl
2001	—	`conf`	Test-Sequence Generation from Formal Requirement Models. HASE Sanjai Rayadurgam, Mats Per Erik Heimdahl
1999	—	`conf`	Assurance-Based Y2K Testing. HASE Wei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul
1998	B	`conf`	An agent architecture for supporting individualized services in Internet applications. ICTAI Weiguang Shao, Wei-Tek Tsai, Sanjai Rayadurgam, Robert Lai
1998	C	`conf`	Automating Regression Testing for Real-Time Software in a Distributed Environment. ISORC Feng Zhu, Sanjai Rayadurgam, Wei-Tek Tsai
1998	—	`conf`	Design for Constraint Violation Detection in Safety-Critical Systems. HASE Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai
1998	J	`jnl`	Key Applications for High-Assurance Systems. Computer 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
1997	—	`conf`	Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. HASE Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam
1997	J	`jnl`	Interview with Takashi Sano. J. Softw. Maintenance Res. Pract. Takashi Sano, Wei-Tek Tsai, Sanjai Rayadurgam
1996	—	`conf`	Omega - an integrated environment for C++ program maintenance. ICSM Xiaoping Chen, Wei-Tek Tsai, Hai Huang, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang
1996	C	`conf`	The Role of Program Slicing in Ripple Effect Analysis. SEKE Yamin Wang, Wei-Tek Tsai, Xiaoping Chen, Sanjai Rayadurgam