Michael W Whalen
Michael W Whalen
Amazon, Inc.
Verified email at cs.umn.edu - Homepage
TitleCited byYear
Software model checking takes off
SP Miller, MW Whalen, DD Cofer
Communications of the ACM 53 (2), 58-64, 2010
1642010
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
1322006
Proving the shalls
SP Miller, AC Tribble, MW Whalen, MPE Heimdahl
International Journal on Software Tools for Technology Transfer 8 (4-5), 303-319, 2006
1102006
Programs, tests, and oracles: the foundations of testing revisited
M Staats, MW Whalen, MPE Heimdahl
2011 33rd international conference on software engineering (ICSE), 391-400, 2011
962011
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
922005
Compositional verification of architectural models
D Cofer, A Gacek, S Miller, MW Whalen, B LaValley, L Sha
NASA Formal Methods Symposium, 126-140, 2012
892012
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
872008
Reduction and slicing of hierarchical state machines
MPE Heimdahl, MW Whalen
Software Engineering—ESEC/FSE'97, 450-467, 1997
841997
Integration of formal analysis into a model-based software development process
M Whalen, D Cofer, S Miller, BH Krogh, W Storm
International Workshop on Formal Methods for Industrial Critical Systems, 68-84, 2007
692007
The risks of coverage-directed test case generation
G Gay, M Staats, M Whalen, M Heimdahl
IEEE Transactions on Software Engineering 41 (8), 2015
652015
On the danger of coverage directed test case generation
M Staats, G Gay, M Whalen, M Heimdahl
International Conference on Fundamental Approaches to Software Engineering …, 2012
632012
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
612012
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
552013
A formal semantics for RSML-e
MW Whalen
The University of Minnesota, 2000
532000
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
502005
Model-based safety analysis
A Joshi, MPE Heimdahl, SP Miller, MW Whalen
472006
Model-based safety analysis final report
A Joshi, M Whalen, M Heimdahl
NASA Techreport, 2005
462005
On the requirements of high-integrity code generation
MW Whalen, MPE Heimdahl
Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999
431999
Synthesizing certified code
M Whalen, J Schumann, B Fischer
International Symposium of Formal Methods Europe, 431-450, 2002
422002
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
402013
The system can't perform the operation now. Try again later.
Articles 1–20