Lectures & Labs
Schedule
| Date | Topic | Additional Material |
|---|---|---|
| 04.09.2013 | Orientation | Testing or Formal Verification. |
| 06.09.2013 | Pre- and Post-Conditions | LICS, p. 256-284 |
| 11.09.2013 | Loop Invariants | LICS, p. 284-292 |
| 18.09.2013 | VC Generation | LICS, p. 296-299, Translation Scheme, Dream Property |
| 25.09.2013 | CodeContracts | CodeContracts Manual |
| 02.10.2013 | Data Flow Analysis | Compiler Design Sections 1.5-1.6. (Access from UT network!) |
| 09.10.2013 | Assertion Checking | Compiler Design Sections 1.9-1.10. |
| 23.10.2013 | Symbolic Execution | CACM Review, DART paper |
| 30.10.2013 | Simplex Method | DP Chapter 5, Original paper |
| 22.11.2013 | Model-Based Testing | Graph Theory MBT, ModelJUnit, Chinese Postman |
| 27.11.2013 | Labelled Transition Systems | MBT with Labelled Transition Systems |
| 29.11.2013 | NModel | Guest lecture by Juhan Ernits |
Lecture Notes
Lecture notes, as very much else, are under construction. Currently, these offer more convenient ways of viewing the slides: