Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type


Publication Date


Static Analysis for Software Quality

  • June 2011
  • By Jonathan Aldrich
  • In this presentation, Jonathan Aldrich describes the benefits of static analysis technology and how it complements techniques like testing and inspection.
  • Cybersecurity Engineering
  • Publisher: Software Engineering Institute
  • Abstract

    The Master of Software Engineering (MSE) Professional Program at Carnegie Mellon University and the National Institute of Standards and Technology (NIST) hosted a free, one-day seminar on new, industrial strength techniques for systems and software verification. Techniques to be presented and demonstrated are combinatorial testing, the classification tree method, and static analysis.

    This presentation, given at a MSE/NIST seminar in June 2011,

  • Slides