UWTV Program: Automatic Software Testing
Note: Selected programs are available for streaming download per agreement with the original media source.
Sponsored by:
Automatic Software Testing
Modern software pervasively uses structurally complex data such as linked data structures. The standard approach to generating test suites for such software is tedious and error prone. This program focuses on Korat, a new technique that automates the generation of suites with structurally complex test inputs. Korat allows the developer to describe the properties of valid inputs using a familiar implementation language such as Java. Korat tools have been implemented and used in both academia and industry.

Windows Media
 * Help?
QuickTime
 * Help?
Series Title:CSE Colloquia - 2004
Subject(s):Engineering and Computer Science
Speaker(s): Darko Marinov, MIT
Related Link(s):CSE website
Production Date: 04/20/2004
Runtime: 00:56:47
Support for UWTV is provided by:

San Jose State @ UW
Watch 9/3 at 8 p.m.
Original Game: 11/16/96

Kansas State @ UW
Watch 9/6 at 7 p.m.
Original Game: 9/28/91

Contact Us | Help | Where to Watch UWTV | Retransmission | UWTV Production | uw2.tv
Email us with comments or questions or call 888-616-UWTV

Copyright © University of Washington, 1997-2010. All Rights Reserved.