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.
Broadcast Session 01 (Rick Kuhn)
Broadcast Session 01 (Eduardo Miranda)
Broadcast Session 01 (Jonathan Aldrich)
Broadcast Session 02 (Raghu Kacker)
Broadcast Session 02 (Rick Kuhn)
Broadcast Session 02 (Eduardo Miranda)
|