Static Analysis for Software Quality
Software Engineering Institute
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,