Omega - an integrated environment for C++ program maintenance. - Xiaoping Chen; Wei-Tek Tsai; Hai Huang 011; Mustafa H. Poonawala; Sanjai Rayadurgam; Yamin Wang (ICSM, 1996)

The Role of Program Slicing in Ripple Effect Analysis. - Yamin Wang; Wei-Tek Tsai; Xiaoping Chen; Sanjai Rayadurgam (SEKE, 1996)

Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. - Wei-Tek Tsai; Ramin Mojdehbakhsh; Sanjai Rayadurgam (HASE, 1997)

Interview with Takashi Sano. - Takashi Sano 005; Wei-Tek Tsai; Sanjai Rayadurgam (J. Softw. Maintenance Res. Pract., 1997)

Design for Constraint Violation Detection in Safety-Critical Systems. - Satish Subramanian; Sanjai Rayadurgam; Wei-Tek Tsai (HASE, 1998)

An agent architecture for supporting individualized services in Internet applications. - Weiguang Shao; Wei-Tek Tsai; Sanjai Rayadurgam; Robert Lai (ICTAI, 1998)

Automating Regression Testing for Real-Time Software in a Distributed Environment. - Feng Zhu 001; Sanjai Rayadurgam; Wei-Tek Tsai (ISORC, 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 001; Barry Flahive; Wei-Tek Tsai; Ramin Mojdehbakhsh; Sanjai Rayadurgam; et al. (Computer, 1998)

Assurance-Based Y2K Testing. - Wei-Tek Tsai; Weiguang Shao; Sanjai Rayadurgam; Jinbao Li; Raymond A. Paul (HASE, 1999)

Coverage Based Test-Case Generation Using Model Checkers. - Sanjai Rayadurgam; Mats Per Erik Heimdahl (ECBS, 2001)

Test-Sequence Generation from Formal Requirement Models. - Sanjai Rayadurgam; Mats Per Erik Heimdahl (HASE, 2001)

Automated Test-Data Generation from Formal Models of Software. - Sanjai Rayadurgam (ASE, 2001)

Automatic abstraction for model checking software systems with interrelated numeric constraints. - Yunja Choi; Sanjai Rayadurgam; Mats Per Erik Heimdahl (ESEC / SIGSOFT FSE, 2001)

Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. - Yunja Choi; Sanjai Rayadurgam; Mats Per Erik Heimdahl (Requir. Eng., 2002)

Auto-generating Test Sequences Using Model Checkers: A Case Study. - Mats Per Erik Heimdahl; Sanjai Rayadurgam; Willem Visser; George Devaraj; Jimin Gao (FATES, 2003)

Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. - Sanjai Rayadurgam; Anjali Joshi; Mats Per Erik Heimdahl (ICFEM, 2003)

Generating MC/DC Adequate Test Sequences Through Model Checking. - Sanjai Rayadurgam; Mats Per Erik Heimdahl (SEW, 2003)

Modeling and requirements on the physical side of cyber-physical systems. - Mats Per Erik Heimdahl; Lian Duan; Anitha Murugesan; Sanjai Rayadurgam (TwinPeaks@ICSE, 2013)

Modes, features, and state-based modeling for clarity and flexibility. - Anitha Murugesan; Sanjai Rayadurgam; Mats Per Erik Heimdahl (MiSE, 2013)

Compositional verification of a medical device system. - Anitha Murugesan; Michael W. Whalen; Sanjai Rayadurgam; Mats Per Erik Heimdahl (HILT, 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)

Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. - Lian Duan; Sanjai Rayadurgam; Mats Per Erik Heimdahl; Anaheed Ayoub; Oleg Sokolsky; Insup Lee 001 (FHIES/SEHC, 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 001 (FHIES/SEHC, 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 001 (ICCPS, 2014)

Analysis and testing of PLEXIL plans. - Jason Biatek; Michael W. Whalen; Mats Per Erik Heimdahl; Sanjai Rayadurgam; Michael R. Lowry (FormaliSE, 2014)

Steering model-based oracles to admit real program behaviors. - Gregory Gay 002; Sanjai Rayadurgam; Mats Per Erik Heimdahl (ICSE Companion, 2014)

Exploring the twin peaks using probabilistic verification techniques. - Anitha Murugesan; Lu Feng 001; Mats Per Erik Heimdahl; Sanjai Rayadurgam; Michael W. Whalen; Insup Lee 001 (TwinPeaks, 2014)

Structuring simulink models for verification and reuse. - Michael W. Whalen; Anitha Murugesan; Sanjai Rayadurgam; Mats Per Erik Heimdahl (MiSE, 2014)

Practical aspects of building a constrained random test framework for safety-critical embedded systems. - Dongjiang You; Isaac Amundson; Scott Hareland; Sanjai Rayadurgam (MoSEMInA, 2014)

Improving the accuracy of oracle verdicts through automated model steering. - Gregory Gay 002; Sanjai Rayadurgam; Mats Per Erik Heimdahl (ASE, 2014)

A reference model for simulating agile processes. - Ian J. De Silva; Sanjai Rayadurgam; Mats Per Erik Heimdahl (ICSSP, 2015)

Efficient observability-based test generation by dynamic symbolic execution. - Dongjiang You; Sanjai Rayadurgam; Michael W. Whalen; Mats Per Erik Heimdahl; Gregory Gay 002 (ISSRE, 2015)

Executing Model-Based Tests on Platform-Specific Implementations (T). - Dongjiang You; Sanjai Rayadurgam; Mats Per Erik Heimdahl; John Komp; BaekGyu Kim; Oleg Sokolsky (ASE, 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 001 (MEMOCODE, 2015)

Representing Confidence in Assurance Case Evidence. - Lian Duan; Sanjai Rayadurgam; Mats Per Erik Heimdahl; Oleg Sokolsky; Insup Lee 001 (SAFECOMP Workshops, 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)

Design Considerations for Modeling Modes in Cyber-Physical Systems. - Anitha Murugesan; Sanjai Rayadurgam; Michael W. Whalen; Mats Per Erik Heimdahl (IEEE Des. Test, 2015)

Representation of Confidence in Assurance Cases Using the Beta Distribution. - Lian Duan; Sanjai Rayadurgam; Mats Per Erik Heimdahl; Oleg Sokolsky; Insup Lee 001 (HASE, 2016)

Domain modeling for development process simulation. - Ian J. De Silva; Sanjai Rayadurgam; Mats Per Erik Heimdahl (ICSSP, 2017)

Toward Rigorous Object-Code Coverage Criteria. - Taejoon Byun; Vaibhav Sharma 001; Sanjai Rayadurgam; Stephen McCamant; Mats Per Erik Heimdahl (ISSRE, 2017)

Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors. - Gregory Gay 002; Sanjai Rayadurgam; Mats Per Erik Heimdahl (IEEE Trans. Software Eng., 2017)

Contract discovery from black-box components. - Vaibhav Sharma 001; Taejoon Byun; Stephen McCamant; Sanjai Rayadurgam; Mats Per Erik Heimdahl (WASPI@ESEC/SIGSOFT FSE, 2018)

Selected Extended Papers of NFM 2016: Preface. - César A. Muñoz; Sanjai Rayadurgam; Oksana Tkachuk (J. Autom. Reason., 2018)

Input Prioritization for Testing Neural Networks. - Taejoon Byun; Vaibhav Sharma 001; Abhishek Vijayakumar; Sanjai Rayadurgam; Darren D. Cofer (AITest, 2019)

Requirements Reference Models Revisited: Accommodating Hierarchy in System Design. - Anitha Murugesan; Sanjai Rayadurgam; Mats Per Erik Heimdahl (RE, 2019)

Manifold-based Test Generation for Image Classifiers. - Taejoon Byun; Abhishek Vijayakumar; Sanjai Rayadurgam; Darren D. Cofer (AITest, 2020)

Manifold for machine learning assurance. - Taejoon Byun; Sanjai Rayadurgam (ICSE (NIER), 2020)

Manifold-based Test Generation for Image Classifiers. - Taejoon Byun; Sanjai Rayadurgam (ICSE (Workshops), 2020)

Synthesis of Infinite-State Systems with Random Behavior. - Andreas Katis; Grigory Fedyukovich; Jeffrey Chen; David A. Greve; Sanjai Rayadurgam; Michael W. Whalen (ASE, 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 (NFM, 2020)

Black-Box Testing of Deep Neural Networks. - Taejoon Byun; Sanjai Rayadurgam; Mats P. E. Heimdahl (ISSRE, 2021)

Counterexample Guided Inductive Repair of Reactive Contracts. - Soha Hussein; Vaibhav Sharma 001; Stephen McCamant; Sanjai Rayadurgam; Mats Per Erik Heimdahl (ASE, 2021)

Cps Falsification Using Autoencoded Input Models. - Youssef Gordon Zahar; Sanjai Rayadurgam (FormaliSE, 2025)