- SSVV - Requirements
- Laboratory rules
- Seminar rules
- SSVV Lab Sem Grades-last update 11.06.2015-1:15 am
- Announcements - last one added in 08.05.2015 - hour 10:20
- ExamSSVV_SampleQuestions - NEW NEW NEW
Laboratory | Lecture Bibliography |
Seminar | |
Inspection |
23-27 feb | 1. Overview +Intro+Inspection | Inspection |
2-6 march | 2. Testing+BBT+Testlink - files |
||
BBT Testlink- new version (12march2015) |
9-13 march | 3.WBT+ Testlink - files |
BBT |
16-20 march |
4. Levels+Tutorial-Maven + Tutorial-Jenkins (new version (24march2015)) | ||
WBT |
23-27 march |
5. Symbolic execution |
WBT |
30-3 apr |
6. EVOZON - Selenium Web Driver-slides+demo Monday, 30 March 2015, hours: 10-12, Room: N. Iorga Hall (2/I), Main Building Attendance Compulsory! |
||
Levels of testing |
6-10 apr |
7.Midterm exam - BBT+WBT - Attendance COMPULSORY |
Levels of testing |
13-17 apr |
Vacation |
||
20-24 apr |
8.Correctness-Floyd-Hoare |
||
Web testing Tutorial Serenity-JUnit Tutorial Serenity-JUnit-Cucumber |
27-1 may |
DevelopingCorrectAlgorithmFromSpec Static verification - InstallationSteps + KIT JML-Demo ESCJAVA2 -slides ESCJAVA2-Demo |
Correctness |
4-8 may |
Monday, 4 May 2015, hours: 10-12, Room: N. Iorga Hall (2/I), Main Building Attendance Compulsory!
|
||
Esc2Java |
11-15 may |
11Model checking JSpin-slides JSpin-demo JSpin-install |
Correctness 2 |
18-22 may |
12CMM |