Sanjai Rayadurgam

Michael W. Whalen, Andrew Gacek, Darren D. Cofer, Anitha Murugesan, Mats Per Erik Heimdahl, Sanjai Rayadurgam: Your "What" Is My "How": Iteration and Hierarchy in System Design. IEEE Software 30(2): 54-60 (2013)

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

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

Sanjai Rayadurgam, Mats Per Erik Heimdahl: Generating MC/DC Adequate Test Sequences Through Model Checking. SEW 2003: 91

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

Sanjai Rayadurgam, Mats Per Erik Heimdahl: Coverage Based Test-Case Generation Using Model Checkers. ECBS 2001: 83-

Sanjai Rayadurgam, Mats Per Erik Heimdahl: Test-Sequence Generation from Formal Requirement Models. HASE 2001: 23-31

Sanjai Rayadurgam: Automated Test-Data Generation from Formal Models of Software. ASE 2001: 438

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

Wei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul: Assurance-Based Y2K Testing. HASE 1999: 27-37

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: Key Applications for High-Assurance Systems. IEEE Computer 31(4): 35-45 (1998)

Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai: Design for Constraint Violation Detection in Safety-Critical Systems. HASE 1998: 109-116

Feng Zhu, Sanjai Rayadurgam, Wei-Tek Tsai: Automating Regression Testing for Real-Time Software in a Distributed Environment. ISORC 1998: 373-382

Takashi Sano, Wei-Tek Tsai, Sanjai Rayadurgam: Interview with Takashi Sano. Journal of Software Maintenance 9(4): 253-268 (1997)

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

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

Yamin Wang, Wei-Tek Tsai, Xiaoping Chen, Sanjai Rayadurgam: The Role of Program Slicing in Ripple Effect Analysis. SEKE 1996: 369-376