Home | Legals | Sitemap | KIT

Static Program Checking

Static Program Checking
type: lecture
semester: WS 2011/2012

 Geb. 50.34, Room 236


 Thursday 14:00 - 15:30

start: 20.10.2011

 Jun.-prof. Mana Taghdiri

sws: 2
ects: 3
lv-no.: 24126

This lecture will help the students learn about modern techniques for finding bugs in programs. They will understand the strengths and weaknesses of these techniques, and evaluate how they complement current testing practices.


In this lecture, we cover a number of recently-developed techniques that check functionalities of programs. That  is, they are alternatives to software testing. We will particularly focus on lightweight techniques that work at a push-of-a-button: those that are fully automatic and expect very little input from users.


The lecture will cover the following topics:


  • Finding bugs in object-oriented programs,
  • Summarizing programs’ behaviors,
  • Detecting invariants about programs,
  • Feedback loops