These lecture notes are not available anymore. They were replaced by my new book on software testing, Effective Software Testing: A Developer's Guide, published by Manning.