| Software model checking takes off SP Miller, MW Whalen, DD Cofer Communications of the ACM 53 (2), 58-64, 2010 | 209 | 2010 |
| Coverage metrics for requirements-based testing MW Whalen, A Rajan, MPE Heimdahl, SP Miller Proceedings of the 2006 international symposium on Software testing and …, 2006 | 180 | 2006 |
| Compositional verification of architectural models D Cofer, A Gacek, S Miller, MW Whalen, B LaValley, L Sha NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012 | 169 | 2012 |
| A proposal for model-based safety analysis A Joshi, SP Miller, M Whalen, MPE Heimdahl 24th Digital Avionics Systems Conference 2, 13 pp. Vol. 2, 2005 | 153 | 2005 |
| Programs, tests, and oracles: the foundations of testing revisited M Staats, MW Whalen, MPE Heimdahl Proceedings of the 33rd international conference on software engineering …, 2011 | 138 | 2011 |
| The risks of coverage-directed test case generation G Gay, M Staats, M Whalen, M Heimdahl IEEE Transactions on Software Engineering 41 (8), 2015 | 129 | 2015 |
| The effect of program and model structure on MC/DC test adequacy coverage A Rajan, MW Whalen, MPE Heimdahl Proceedings of the 30th International Conference on Software engineering …, 2008 | 108 | 2008 |
| 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 | 93 | 2012 |
| On the danger of coverage directed test case generation M Staats, G Gay, M Whalen, M Heimdahl Fundamental Approaches to Software Engineering: 15th International …, 2012 | 92 | 2012 |
| Reduction and slicing of hierarchical state machines MPE Heimdahl, MW Whalen Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly …, 1997 | 91 | 1997 |
| Providing the shalls SP Miller, AC Tribble, MW Whalen, MPE Heimdahl International Journal on Software Tools for Technology Transfer, 2006 | 90 | 2006 |
| Integration of formal analysis into a model-based software development process M Whalen, D Cofer, S Miller, BH Krogh, W Storm Formal Methods for Industrial Critical Systems: 12th International Workshop …, 2008 | 89 | 2008 |
| 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 | 80 | 2013 |
| Model-based safety analysis A Joshi, MPE Heimdahl, SP Miller, MW Whalen | 80 | 2006 |
| Resolute: an assurance case language for architecture models A Gacek, J Backes, D Cofer, K Slind, M Whalen ACM SIGAda Ada Letters 34 (3), 19-28, 2014 | 76 | 2014 |
| The JKind Model Checker A Gacek, J Backes, M Whalen, L Wagner, E Ghassabani Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 75 | 2018 |
| Model-based safety analysis final report A Joshi, M Whalen, M Heimdahl NASA Techreport, 2005 | 68 | 2005 |
| Observable modified condition/decision coverage M Whalen, G Gay, D You, MPE Heimdahl, M Staats 2013 35th International Conference on Software Engineering (ICSE), 102-111, 2013 | 62 | 2013 |
| Formal verification of flight critical software S Miller, E Anderson, L Wagner, M Whalen, M Heimdahl AIAA Guidance, Navigation, and Control Conference and Exhibit, 6431, 2005 | 58 | 2005 |
| A formal semantics for RSML-e MW Whalen The University of Minnesota, 2000 | 58 | 2000 |
Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of Minnesota在 umn.edu 的电子邮件经过验证
