Michael W. Whalen

Michael W. Whalen, Andrew Gacek, Darren D. Cofer, Anitha Murugesan, Mats Per Erik Heimdahl, Sanjai Rayadurgam: Your "What" Is My "How": Iteration and Hierarchy in System Design. IEEE Software 30(2): 54-60 (2013)

Willem Visser, Matthew B. Dwyer, Michael W. Whalen: The hidden models of model checking. Software and System Modeling 11(4): 541-555 (2012)

Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl: On the Danger of Coverage Directed Test Case Generation. FASE 2012: 409-424

Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha: Compositional Verification of Architectural Models. NASA Formal Methods 2012: 126-140

Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen: Integrating Statechart Components in Polyglot. NASA Formal Methods 2012: 267-272

David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham: A DSL for cross-domain security. HILT 2012: 53-62

David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham: The Guardol Language and Verification System. TACAS 2012: 18-32

Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl: Programs, tests, and oracles: the foundations of testing revisited. ICSE 2011: 391-400

Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl: Better testing through oracle selection. ICSE 2011: 892-895

Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry: Polyglot: modeling and analysis for multiple Statechart formalisms. ISSTA 2011: 45-55

Steven P. Miller, Michael W. Whalen, Darren D. Cofer: Software model checking takes off. Commun. ACM 53(2): 58-64 (2010)

Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl: Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. NASA Formal Methods 2010: 161-170

Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser: FITE: future integrated testing environment. FoSER 2010: 401-406

David S. Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas Wagner, Michael W. Whalen: Development of Security Software: A High Assurance Methodology. ICFEM 2009: 266-285

Darren D. Cofer, Michael W. Whalen, Steven P. Miller: Model-Checking of Safety-Critical Software for Avionics. ERCIM News 2008(75) (2008)

Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl: Requirements Coverage as an Adequacy Measure for Conformance Testing. ICFEM 2008: 86-104

Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl: The effect of program and model structure on mc/dc test adequacy coverage. ICSE 2008: 161-170

Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm: Integration of Formal Analysis into a Model-Based Software Development Process. FMICS 2007: 68-84

Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl: Model Validation using Automatically Generated Requirements-Based Tests. HASE 2007: 95-104

Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl: Proving the shalls. STTT 8(4-5): 303-319 (2006)

Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller: Coverage metrics for requirements-based testing. ISSTA 2006: 25-36

Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen: Deviation Analysis: A New Use of Model Checking. Autom. Softw. Eng. 12(3): 321-347 (2005)

Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle: Certification Support for Automatically Generated Programs. HICSS 2003: 337

Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson: NIMBUS: A Tool for Specification Centered Development. RE 2003: 349

Michael W. Whalen, Johann Schumann, Bernd Fischer: AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. CADE 2002: 290-294

Michael W. Whalen, Johann Schumann, Bernd Fischer: Synthesizing Certified Code. FME 2002: 431-450

Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen: Deviation Analysis Through Model Checking. ASE 2002: 37-46

Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl: Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. J. UCS 6(7): 731-757 (2000)

Michael W. Whalen: High-integrity code generation for state-based formalisms. ICSE 2000: 725-727

Michael W. Whalen, Mats Per Erik Heimdahl: On the Requirements of High-Integrity Code Generation. HASE 1999: 217-

Michael W. Whalen, Mats Per Erik Heimdahl: An Approach to Automatic Code Generation for Safety-Critical Systems. ASE 1999: 315-318

Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen: On the Effectiveness of Slicing Hierarchical State Machines: A Case Study. EUROMICRO 1998: 10435-10444

Mats Per Erik Heimdahl, Michael W. Whalen: Reduction and Slicing of Hierarchical State Machines. ESEC / SIGSOFT FSE 1997: 450-467

Paul D. Gader, Michael W. Whalen, Margaret Ganzberger, Dan Hepp: Handprinted word recognition on a NIST data set. Mach. Vis. Appl. 8(1): 31-40 (1995)

Paul D. Gader, Brian Forester, Margaret Ganzberger, Andrew M. Gillies, Brian T. Mitchell, Michael W. Whalen, Todd Yocum: Recognition of handwritten digits using template and model matching. Pattern Recognition 24(5): 421-431 (1991)