Michael W Whalen

Citée par

	Toutes	Depuis 2018
Citations	3455	1447
indice h	31	22
indice i10	78	45

340

170

255

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 12 43 48 62 59 61 70 78 107 102 152 174 196 229 280 235 282 233 324 293 204 111

Accès public

Tout afficher

25 articles

2 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaAdresse e-mail validée de umn.edu
Darren CoferRockwell CollinsAdresse e-mail validée de ieee.org
Andrew GacekAmazon Web ServiceAdresse e-mail validée de amazon.com
Anitha MurugesanHoneywell AerospaceAdresse e-mail validée de honeywell.com
Ajitha RajanUniversity of EdinburghAdresse e-mail validée de staffmail.ed.ac.uk
Sanjai RayadurgamUniversity of MinnesotaAdresse e-mail validée de umn.edu
Gregory GayChalmers | University of GothenburgAdresse e-mail validée de chalmers.se
Andreas KatisComputer Scientist, KBR at NASA Ames Research CenterAdresse e-mail validée de nasa.gov
Willem VisserComputer Science Division, Stellenbosch UniversityAdresse e-mail validée de cs.sun.ac.za
Neha RungtaAmazon Web ServicesAdresse e-mail validée de amazon.com
Bernd FischerComputer Science Division, Stellenbosch UniversityAdresse e-mail validée de cs.sun.ac.za
David HardinCollins AerospaceAdresse e-mail validée de collins.com
Johann SchumannSGT, Inc. NASA AmesAdresse e-mail validée de nasa.gov
Dongjiang YouUniversity of MinnesotaAdresse e-mail validée de cs.umn.edu
Danielle StewartGalois, Inc.Adresse e-mail validée de galois.com
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Vaibhav SharmaAmazon.com Services LLC and University of MinnesotaAdresse e-mail validée de umn.edu
Corina PasareanuCMU/NASA AmesAdresse e-mail validée de nasa.gov
Oleg SokolskyUniversity of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Lui ShaProfessor of Computer Sceince, University of IllinoisAdresse e-mail validée de cs.uiuc.edu

Suivre

Michael W Whalen

Amazon, Inc. and the University of Minnesota

Adresse e-mail validée de cs.umn.edu - Page d'accueil

Model Checking Testing


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Software model checking takes off SP Miller, MW Whalen, DD Cofer Communications of the ACM 53 (2), 58-64, 2010	202	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	178	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	151	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	134	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	128	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	122	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	105	2008
Reduction and slicing of hierarchical state machines MPE Heimdahl, MW Whalen Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly …, 1997	89	1997
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	88	2012
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	87	2012
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	87	2008
Providing the shalls SP Miller, AC Tribble, MW Whalen, MPE Heimdahl International Journal on Software Tools for Technology Transfer, 2006	86	2006
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	77	2013
Model-based safety analysis A Joshi, MPE Heimdahl, SP Miller, MW Whalen	67	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	66	2014
Model-based safety analysis final report A Joshi, M Whalen, M Heimdahl NASA Techreport, 2005	63	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	60	2013
The JKind Model Checker A Gacek, J Backes, M Whalen, L Wagner, E Ghassabani Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018	59	2018
A formal semantics for RSML-e MW Whalen The University of Minnesota, 2000	57	2000
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	56	2005

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs