- an interactive debugger,
- delta debugging on inputs,
- inferring dynamic invariants,
- statistical debugging, or
- mining software archives.
I will be spending the next two weeks with Udacity in Palo Alto to record the units. The format will be Udacity-like: Most of the time, you'll only see my hand writing, doodling, sketching, and developing the material on the screen while I am talking. You can always stop and repeat as you like (or fast forward until the next automated quiz). I am pretty excited about the format, and very much look forward to an exciting course as well.
To see what an online course at Udacity looks like, check out Wes Weimer's CS 262: Programming Languages (Building a Web Browser) and go to "Preview the Class".
To learn more about the recording process, see John Regehr's blog on recording a class at Udacity.
To learn more about my work on debugging, see my book "Why Programs Fail".