In this seminar, students work in pairs on practically relevant questions of software analysis and verification. They study the theoretical underpinnings as well the practical workings, present a summary in class, and prepare a short write-up. Topics include: * Contracts * Typestate * Distributed Debugging * Replay * Model Checking * Model Inference * Dynamic Symbolic Execution * Hoare Rules * Structural Test Generation * Transient HW Faults The tentative literature list can be found here: http://www.sts.tu-harburg.de/~schupp/teaching/sem11W/litHSWS11.html Enrollment is limited. If the number of interested students exceeds the number of seats, seats are assigned first-come, first-serve, based on the date at which you registered for the seminar in Stud.IP. Language: all papers and all material is in English. Speakers present in English. Attendance: participants are expected to attend. Exceptions may be arranged only in exceptional circumstances (hence the name) and if you contact the teacher two days in advance. The first meeting takes place in the first week of the semester. Time and place is announced in Stud.IP. During this meeting, topics will be assigned. Again, the first-come, first-serve principle applies: you pick topics (and, if so desired, your team-mate) in the order in which you registered in Stud.IP. Since the topics and papers vary in their style, it is important that you take a look upfront and have an idea of your preferences.