U.S. flag   An unofficial archive of your favorite United States government website
Dot gov

Official websites do not use .rip
We are an unofficial archive, replace .rip by .gov in the URL to access the official website. Access our document index here.

Https

We are building a provable archive!
A lock (Dot gov) or https:// don't prove our archive is authentic, only that you securely accessed it. Note that we are working to fix that :)

This is an archive
(replace .gov by .rip)

Advances in Industrial-strength Verification of Systems and Software

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
(Rick Kuhn, NIST) 

Introduction to the Classifcation Tree Method
(Eduardo Miranda, CMU) 

Static Analysis and Software Quality
(Jonathan Aldrich, CMU) 

Evolution of Combinatorial Testing Methods: From DOE to ACTS
(Raghu Kacker, NIST) Advanced Topics in Combinatorial Testing (Rick Kuhn, NIST) Integrating the Classification Tree Method with Combinatorial Testing (Eduardo Miranda, CMU)

Event Details

Starts: June 07, 2011 - 08:00 AM EST
Ends: June 07, 2011 - 05:00 PM EST

Format: In-person Type: Forum


Location

Carnegie Mellon University

Related Topics

Technologies: combinatorial testing

Created October 19, 2016, Updated June 22, 2020