Advances in Industrial-Strength Verification of
Systems and Software
Carnegie Mellon University
Tuesday, June 7th, 2011 

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

Introduction to Combinatorial Testing

Broadcast Session 01 (Rick Kuhn)

Introduction to the Classifcation Tree Method

Broadcast Session 01 (Eduardo Miranda)

Static Analysis and Software Quality

Broadcast Session 01 (Jonathan Aldrich)

Evolution of Combinatorial Testing Methods: From DOE to ACTS

Broadcast Session 02 (Raghu Kacker)

Advanced Topics in Combinatorial Testing

Broadcast Session 02 (Rick Kuhn)

Integrating the Classification Tree Method with Combinatorial Testing

Broadcast Session 02 (Eduardo Miranda)