| Coverage based test-case generation using model checkers S Rayadurgam, MPE Heimdahl Proceedings. Eighth Annual IEEE International Conference and Workshop On the …, 2001 | 278 | 2001 |
| 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 | 127 | 2003 |
| 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 | 92 | 2012 |
| 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 | 82 | 2013 |
| 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 | 75 | 2019 |
| Generating MC/DC adequate test sequences through model checking S Rayadurgam, M Heimdahl | 60 | 2003 |
| Test-sequence generation from formal requirement models S Rayadurgam, MPE Heimdahl Proceedings Sixth IEEE International Symposium on High Assurance Systems …, 2001 | 49 | 2001 |
| The Role of Program Slicing in Ripple Effect Analysis. Y Wang, WT Tsai, X Chen, S Rayadurgam SEKE, 369-376, 1996 | 38 | 1996 |
| 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 | 35 | 1996 |
| Specification centered testing M Heimdahl, S Rayadurgam, W Visser | 34 | 2001 |
| 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 | 31 | 2020 |
| Manifold for machine learning assurance T Byun, S Rayadurgam Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 31 | 2020 |
| 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 | 31 | 2017 |
| 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 | 30 | 2016 |
| Design for constraint violation detection in safety-critical systems S Subramanian, WT Tsai, S Rayadurgam Proceedings Third IEEE International High-Assurance Systems Engineering …, 1998 | 25 | 1998 |
| 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 | 24 | 2014 |
| 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 | 23 | 2017 |
| 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 | 23 | 2013 |
| Run-time assurance for learning-enabled systems D Cofer, I Amundson, R Sattigeri, A Passi, C Boggs, E Smith, L Gilham, ... NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020 | 22 | 2020 |
| 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 | 21 | 2001 |
Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of Minnesota在 umn.edu 的电子邮件经过验证
