Prati
Sanjai Rayadurgam
Sanjai Rayadurgam
Potvrđena adresa e-pošte na umn.edu - Početna stranica
Naslov
Citirano
Citirano
Godina
Coverage based test-case generation using model checkers
S Rayadurgam, MPE Heimdahl
Proceedings. Eighth Annual IEEE International Conference and Workshop On the …, 2001
2762001
Coverage based test-case generation using model checkers
S Rayadurgam, MPE Heimdahl
Proceedings. Eighth Annual IEEE International Conference and Workshop On the …, 2001
2732001
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
1242003
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
922012
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
782013
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
662019
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
The Role of Program Slicing in Ripple Effect Analysis.
Y Wang, WT Tsai, X Chen, S Rayadurgam
SEKE, 369-376, 1996
381996
Specification centered testing
M Heimdahl, S Rayadurgam, W Visser
352001
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
351996
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
292017
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
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
262016
Manifold for machine learning assurance
T Byun, S Rayadurgam
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
242020
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
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
232013
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
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20