Follow
Sanjai Rayadurgam
Sanjai Rayadurgam
Verified email at umn.edu - Homepage
Title
Cited by
Cited by
Year
Coverage based test-case generation using model checkers
S Rayadurgam, MPE Heimdahl
Proceedings. Eighth Annual IEEE International Conference and Workshop On the …, 2001
2682001
Coverage based test-case generation using model checkers
S Rayadurgam, MPE Heimdahl
Proceedings. Eighth Annual IEEE International Conference and Workshop On the …, 2001
2652001
Auto-generating test sequences using model checkers: A case study
MPE Heimdahl, S Rayadurgam, W Visser, G Devaraj, J Gao
International Workshop on Formal Approaches to Software Testing, 42-59, 2003
1222003
Your" what" is my" how": Iteration and hierarchy in system design
MW Whalen, A Gacek, D Cofer, A Murugesan, MPE Heimdahl, ...
IEEE software 30 (2), 54-60, 2012
852012
Compositional verification of a medical device system
A Murugesan, MW Whalen, S Rayadurgam, MPE Heimdahl
Proceedings of the 2013 ACM SIGAda annual conference on High integrity …, 2013
762013
Generating MC/DC adequate test sequences through model checking
S Rayadurgam, M Heimdahl
582003
Test-sequence generation from formal requirement models
S Rayadurgam, MPE Heimdahl
Proceedings Sixth IEEE International Symposium on High Assurance Systems …, 2001
482001
Input prioritization for testing neural networks
T Byun, V Sharma, A Vijayakumar, S Rayadurgam, D Cofer
2019 IEEE International Conference On Artificial Intelligence Testing …, 2019
422019
Specification centered testing
M Heimdahl, S Rayadurgam, W Visser
362001
The Role of Program Slicing in Ripple Effect Analysis.
Y Wang, WT Tsai, X Chen, S Rayadurgam
SEKE, 369-376, 1996
361996
Omega-an integrated environment for C++ program maintenance
X Chen, WT Tsai, H Huang
1996 Proceedings of International Conference on Software Maintenance, 114-123, 1996
321996
Structuring simulink models for verification and reuse
MW Whalen, A Murugesan, S Rayadurgam, MPE Heimdahl
Proceedings of the 6th international workshop on modeling in software …, 2014
222014
Modeling and requirements on the physical side of cyber-physical systems
MPE Heimdahl, L Duan, A Murugesan, S Rayadurgam
2013 2nd International Workshop on the Twin Peaks of Requirements and …, 2013
222013
Automatic abstraction for model checking software systems with interrelated numeric constraints
Y Choi, S Rayadurgam, MPE Heimdahl
Proceedings of the 8th European software engineering conference held jointly …, 2001
222001
Design for constraint violation detection in safety-critical systems
S Subramanian, WT Tsai, S Rayadurgam
Proceedings Third IEEE International High-Assurance Systems Engineering …, 1998
221998
Experience in capturing requirements for safety-critical medical devices in an industrial environment
WT Tsai, R Mojdehbakhsh, S Rayadurgam
Proceedings 1997 High-Assurance Engineering Workshop, 32-36, 1997
221997
Representation of confidence in assurance cases using the beta distribution
L Duan, S Rayadurgam, M Heimdahl, O Sokolsky, I Lee
2016 IEEE 17th International Symposium on High Assurance Systems Engineering …, 2016
212016
Reasoning about confidence and uncertainty in assurance cases: A survey
L Duan, S Rayadurgam, MPE Heimdahl, A Ayoub, O Sokolsky, I Lee
Software Engineering in Health Care, 64-80, 2014
212014
From requirements to code: Model based development of a medical cyber physical system
A Murugesan, MPE Heimdahl, MW Whalen, S Rayadurgam, J Komp, ...
Software engineering in health care, 96-112, 2014
192014
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety
A Murugesan, O Sokolsky, S Rayadurgam, M Whalen, M Heimdahl, I Lee
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS …, 2014
192014
The system can't perform the operation now. Try again later.
Articles 1–20