UWTV Program: Dynamic Invariant Detection

Search:

Search for information by:

Note: Selected programs are available for streaming download per agreement with the original media source.

Sponsored by:

Dynamic Invariant Detection

	This program begins with background on dynamic invariant detection, a technique for discovering invariants from execution traces, followed by a description of an application of program invariants to the task of refactoring, and then integrating two complementary techniques for manipulating program invariants.



	* Help?


Series Title:	CSE Colloquia - 2002
Subject(s):	Engineering and Computer Science
Speaker(s):	Michael D. Ernst, associate professor, Electrical Engineering and Computer Science, Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology
Related Link(s):	CSE website
Production Date:	01/10/2002
Runtime:	00:59:51
Rating:	TV-G

Support for UWTV is provided by:

What would you like to watch during UWTV’s Viewers' Choice on Saturday, Feb. 13?(poll)

Email us with comments or questions or call 888-616-UWTV