LTE: Carnegie Mellon, NIST, Seminar on Software and Systems Verification

For those of you who don’t mind a lengthy road trip before learning something interesting, I would like to bring the following to your attention.  The Master of Software Engineering program at Carnegie Mellon University and the National Institute of Standards and Technology are jointly organizing a free seminar on combinatorial testing, test case design using the Classification Tree Method and static analysis. The talks will focus on the application of the techniques and their use illustrated by means of examples.

The seminar is scheduled for June the 7th, 2011 at 300 S. Craig Street, Pittsburgh, PA 15213 Room 105.

For further details and registration please visit: