| zip | 2023 Lectures/ | 5602366 | 3 | --- | 2026-04-07 18:13:49 |
| - | Lecture 1 - What is STAR, What is Risk, FMEA.pdf | 1542285 | | pdf | 2026-04-07 16:34:32 |
| - | Lecture 2 - Fault Trees.pdf | 2639854 | | pdf | 2026-04-07 16:34:34 |
| - | Lecture 3 - Dynamic Fault Trees.pdf | 2027129 | | pdf | 2026-04-07 16:34:35 |
| - | Lecture 4a - Testing in Software Engineering.pdf | 1797890 | | pdf | 2026-04-07 16:34:37 |
| - | Lecture 4b - Model-Based Testing with Labeled Transition Systems.pdf | 4017949 | | pdf | 2026-04-07 16:34:39 |
| - | Lecture 5 - Test Generation and ioco.pdf | 2398542 | | pdf | 2026-04-07 16:34:41 |
| - | Lecture 6 - Symbolic Transition Systems.pdf | 2460579 | | pdf | 2026-04-07 16:34:42 |
| - | Lecture 7 - Model Based Testing with the Axini Modeling Platform.pdf | 27714514 | | pdf | 2026-04-07 16:34:47 |
| - | Lecture 8 - Axini Lecture 2.pdf | 27216602 | | pdf | 2026-04-07 16:34:51 |