Concepedia

Michael W. Whalen

MW

49

Publications

2.1K

Citations

24

H-Index

1997

Active since

Affiliations

University of Minnesota(Current)

Rockwell Automation (United States)

University of Minnesota System

University of South Carolina

Stellenbosch University

Michael W. Whalen is an author at University of Minnesota specializing in engineering, software analysis, and computer science.

Top concepts

EngineeringComputer ScienceSoftware AnalysisVerificationFormal MethodsFormal VerificationSystems EngineeringSoftware EngineeringSoftware DesignProgram Analysis

Publications per year

1997–2021

49

Publications

49

Proceedings of the 30th international conference on Software engineering

Ajitha Rajan, Michael W. Whalen, Mats P. E. Heimdahl · 2008 · 453 citations · Full text

Automated Software Engineering, Empirical Software Engineering Research, Engineering +8

Software model checking takes off

Steven P. Miller, Michael W. Whalen, Darren Cofer · Communications of the ACM · 2010 · 150 citations · Full text

Software Maintenance, Engineering, Verification +22

Coverage metrics for requirements-based testing

Michael W. Whalen, Ajitha Rajan, Mats P. E. Heimdahl et al. · 2006 · 131 citations

Software Maintenance, Engineering, Verification +24

A PROPOSAL FOR MODEL-BASED SAFETY ANALYSIS

Anjali Joshi, Steven P. Miller, Michael W. Whalen et al. · 2006 · 97 citations

Engineering, Technical Safety, Verification +18

The Risks of Coverage-Directed Test Case Generation

Gregory Gay, Matt Staats, Michael W. Whalen et al. · IEEE Transactions on Software Engineering · 2015 · 97 citations

Engineering, Verification, Test Coverage +19

Rows per page

1–5 of 49