Carnegie Mellon University Website Home Page
 

MSE / NIST Seminar Advances in Industrial-Strength Verification of Systems and Software

Welcome (David Garlan/Bill Scherlis Part 1) • video

Introduction to Combinatorial Testing (Rick Kuhn Part 2) • videoslides

The Classification Tree Method Illustrated (Eduardo Miranda Part 3) • videoslides

Static Analysis and Software Quality (Jonathan Aldrich Part 4) • videoslides

Evolution of Combinatorial Testing Methods from DOE to ACTS (Raghu Kacker Part 1) • videoslides

Advanced Topics in Combinatorial Testing (Rick Kuhn Part 2) • videoslides
 
The MSE Program (Matt Bass Part 3) • video
 
Integrating the Classification Tree Method with Combinatorial Testing (Eduardo Miranda Part 4) • videoslides