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: