| Requirements specification for process-control systems NG Leveson, MPE Heimdahl, H Hildreth, JD Reese IEEE transactions on software engineering 20 (9), 684-707, 1994 | 825 | 1994 |
| Completeness and consistency in hierarchical state-based requirements MPE Heimdahl, NG Leveson IEEE transactions on Software Engineering 22 (6), 363-377, 1996 | 455 | 1996 |
| Software requirements analysis for real-time process-control systems MS Jaffe, NG Leveson, M Heimdahl, B Melhart | 324 | 1990 |
| Coverage based test-case generation using model checkers S Rayadurgam, MPE Heimdahl Proceedings. Eighth Annual IEEE International Conference and Workshop On the …, 2001 | 275 | 2001 |
| Model-based safety analysis of simulink models using SCADE design verifier A Joshi, MPE Heimdahl Computer Safety, Reliability, and Security: 24th International Conference …, 2005 | 209 | 2005 |
| 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 |
| Test-suite reduction for model based tests: Effects on test quality and implications for testing MPE Heimdahl, D George Proceedings. 19th International Conference on Automated Software Engineering …, 2004 | 163 | 2004 |
| 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, MPE Heimdahl IEEE Transactions on Software Engineering 41 (8), 803-819, 2015 | 129 | 2015 |
| 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 | 126 | 2003 |
| Specification-based prototyping for embedded systems JM Thompson, MPE Heimdahl, SP Miller ACM SIGSOFT Software Engineering Notes 24 (6), 163-179, 1999 | 125 | 1999 |
| 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 |
| Completeness and consistency analysis of state-based requirements MPE Heimdahl, NG Leveson Proceedings of the 17th International Conference on Software Engineering, 3-14, 1995 | 106 | 1995 |
| Designing specification languages for process control systems: Lessons learned and steps to the future NG Leveson, MPE Heimdahl, JD Reese ACM SIGSOFT Software Engineering Notes 24 (6), 127-145, 1999 | 105 | 1999 |
| Safety and software intensive systems: Challenges old and new MPE Heimdahl Future of Software Engineering (FOSE'07), 137-152, 2007 | 98 | 2007 |
| 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 |
| Specification test coverage adequacy criteria= specification test generation inadequacy criteria MPE Heimdahl, D George, R Weber Eighth IEEE International Symposium on High Assurance Systems Engineering …, 2004 | 93 | 2004 |
| Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing M Staats, G Gay, MPE Heimdahl 2012 34th International Conference on Software Engineering (ICSE), 870-880, 2012 | 92 | 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 |
Michael W WhalenAmazon, Inc. and the University of Minnesota在 cs.umn.edu 的电子邮件经过验证
