Concepedia

Sanjai Rayadurgam

SR

21

Publications

630

Citations

14

H-Index

1996

Active since

Affiliations

University of Minnesota(Current)

Twin Cities Orthopedics

University of Pennsylvania

University of Minnesota System

Sanjai Rayadurgam is an author at University of Minnesota specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringVerificationComputer ScienceSoftware EngineeringFormal MethodsSoftware DesignFormal VerificationSoftware AnalysisSoftware Testing

Publications per year

1996–2020

21

Publications

21

Coverage based test-case generation using model checkers

Sanjai Rayadurgam, Mats P. E. Heimdahl · 2002 · 186 citations

Engineering, Verification, Test Coverage +16

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

Michael W. Whalen, Andrew Gacek, Darren Cofer et al. · IEEE Software · 2012 · 72 citations

Engineering, Software Engineering, Systems Design +22

Compositional verification of a medical device system

Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam et al. · 2013 · 51 citations

Engineering, Verification, Computer-aided Verification +24

Generating MC/DC adequate test sequences through model checking

Sanjai Rayadurgam, Mats P. E. Heimdahl · 2004 · 37 citations

Engineering, Verification, Test Data Generation +20

Auto-generating test sequences using model checkers: A case study

Mats P. E. Heimdahl, Sanjai Rayadurgam, Willem Visser et al. · 2004 · 29 citations

Rows per page

1–5 of 21