Michael W Whalen

Cited by

	All	Since 2017
Citations	3130	1388
h-index	31	21
i10-index	73	41

320

160

240

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120228 11 13 48 42 52 51 63 61 79 100 95 149 180 204 230 273 219 276 228 317 301 47

Public access

View all

21 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaVerified email at umn.edu
Darren CoferRockwell CollinsVerified email at ieee.org
Andrew GacekAmazon Web ServiceVerified email at amazon.com
Anitha MurugesanHoneywell AerospaceVerified email at honeywell.com
Ajitha RajanUniversity of EdinburghVerified email at staffmail.ed.ac.uk
Sanjai RayadurgamUniversity of MinnesotaVerified email at umn.edu
Gregory GayChalmers | University of GothenburgVerified email at chalmers.se
Andreas KatisComputer Scientist, KBR at NASA Ames Research CenterVerified email at nasa.gov
Bernd FischerComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Johann SchumannSGT, Inc. NASA AmesVerified email at nasa.gov
Neha RungtaAmazon Web ServicesVerified email at amazon.com
David HardinCollins AerospaceVerified email at collins.com
Lui ShaProfessor of Computer Sceince, University of IllinoisVerified email at cs.uiuc.edu
Dongjiang YouUniversity of MinnesotaVerified email at cs.umn.edu
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Danielle StewartUniversity of Minnesota DuluthVerified email at d.umn.edu
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Oleg SokolskyUniversity of PennsylvaniaVerified email at cis.upenn.edu
Gabor KarsaiVanderbilt UniversityVerified email at vanderbilt.edu

Michael W Whalen

Amazon, Inc. and the University of Minnesota

Verified email at cs.umn.edu - Homepage

Model Checking Testing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Software model checking takes off SP Miller, MW Whalen, DD Cofer Communications of the ACM 53 (2), 58-64, 2010	195	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	167	2006
Compositional verification of architectural models D Cofer, A Gacek, S Miller, MW Whalen, B LaValley, L Sha NASA Formal Methods Symposium, 126-140, 2012	138	2012
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	122	2011
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	122	2005
The risks of coverage-directed test case generation G Gay, M Staats, M Whalen, M Heimdahl IEEE Transactions on Software Engineering 41 (8), 2015	103	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	103	2008
Reduction and slicing of hierarchical state machines MPE Heimdahl, MW Whalen Software Engineering—ESEC/FSE'97, 450-467, 1997	89	1997
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	85	2007
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	81	2012
Providing the shalls SP Miller, AC Tribble, MW Whalen, MPE Heimdahl International Journal on Software Tools for Technology Transfer, 2006	79	2006
Providing the shalls SP Miller, AC Tribble, MW Whalen, MPE Heimdahl International Journal on Software Tools for Technology Transfer, 2006	79	2006
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	78	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	72	2013
A formal semantics for RSML-e MW Whalen The University of Minnesota, 2000	61	2000
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	60	2014
Model-based safety analysis final report A Joshi, M Whalen, M Heimdahl NASA Techreport, 2005	59	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	57	2013
Proving the shalls SP Miller, AC Tribble, MPE Heimdahl International Symposium of Formal Methods Europe, 75-93, 2003	54	2003
Model-based safety analysis A Joshi, MPE Heimdahl, SP Miller, MW Whalen	53	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors