Talk on concolic testing

Download avi or wmv (right click and save link ...) if the embedded player does not work. For further details about concolic testing, read the DART and CUTE papers.

Concolic testing is very easy to implement. Check out CUTE Homework and give it a try.