Software systems are playing an increasingly important role in our every day lives. As software gets bigger in size and complexity, software development, testing, debugging and maintenance becomes more difficult. Therefore, it becomes more important to develop easy-to-use systematic techniques to increase programmers' confidence in their software systems.

In this seminar, we will introduce some state-of-the-art techniques that help users improve software quality from different aspects. We focus on lightweight techniques that are fully automatic, easy-to-use, and do not require much users' assistance. In other words, they will check the code at the push of a button. Topics include:

• Finding bugs in programs quickly and fully automatically,
• Generating good test cases automatically,
• Extracting program speci cations automatically,
• Designing feedback loops to check larger programs,
• ...

Notes:

This seminar will be given on the second half of the winter semester only (Jan - Feb). An organization meeting will be held by Prof. Dr. Schmitt on Wednesday 28.10.2009, at 17:30-19:00, in SR 301, and the first class will be on Tuesday 12.01.2010, at 11:30-13, in SR 301.

If you are interested in attending this seminar, please send an email to Dr. Taghdiri (taghdiri@ira.uka.de).