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
2732001
Coverage based test-case generation using model checkers
S Rayadurgam, MPE Heimdahl
Proceedings. Eighth Annual IEEE International Conference and Workshop On the …, 2001
2702001
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
1252003
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
902012
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
802013
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
692019
Generating MC/DC adequate test sequences through model checking
S Rayadurgam, M Heimdahl
592003
Test-sequence generation from formal requirement models
S Rayadurgam, MPE Heimdahl
Proceedings Sixth IEEE International Symposium on High Assurance Systems …, 2001
472001
The Role of Program Slicing in Ripple Effect Analysis.
Y Wang, WT Tsai, X Chen, S Rayadurgam
SEKE, 369-376, 1996
381996
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
361996
Specification centered testing
M Heimdahl, S Rayadurgam, W Visser
342001
Run-time assurance for learning-based aircraft taxiing
D Cofer, I Amundson, R Sattigeri, A Passi, C Boggs, E Smith, L Gilham, ...
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-9, 2020
272020
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: 4th International Symposium, FHIES 2014 …, 2017
272017
Manifold for machine learning assurance
T Byun, S Rayadurgam
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
252020
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
252016
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
242013
Design for constraint violation detection in safety-critical systems
S Subramanian, WT Tsai, S Rayadurgam
Proceedings Third IEEE International High-Assurance Systems Engineering …, 1998
241998
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
232014
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
231997
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: 4th International Symposium, FHIES 2014 …, 2017
222017
The system can't perform the operation now. Try again later.
Articles 1–20