Welcome to 15-414 Bug Catching: Automated Program Verification and Testing.
The 15-414 Course Web Page is best navigated by a frames capable
browser. You have entered this site through a browser that
does not support frames, nonetheless you can navigate the course
web page through the following index page: