Testing, Debugging, and Verification

TDA566/DIT082, LP2, HT2011

Schedule

Places and Times

We have lectures and exercise-sessions on Tuesdays 13:15 - 15:00 in hall EA, Wednesdays 10:00 - 11:45 in hall ED and Fridays 10:00 - 11:45 in hall EE, except for 4/11, where the room is ED.

Office hours will be Thursdays, 10:00 - 12:00 with Gabriele in room 5461, EDIT building, and Tuesdays, 10:00 - 12:00 with Bart in room 5483, EDIT building.

The schedule shown below is preliminary and subject to change! Contents for the links will be provided shortly after each lecture.

Welcome to the first lecture on Tuesday October 25, 13:15 - 15:00 in EA!

Lecturers:	WA = Wolfgang Ahrendt	VK = Vladimir Klebanov
Guest Lecturer:	ÅL = Åke Liljenberg, Volvo Group
Course Assistants:	GP = Gabriele Paganelli	BD = Bart van Delft

	Tuesdays 13:15 - 15:00, room EA	Wednesdays 10:00 - 11:45, room ED	Fridays 10:00 - 11:45, room EE
1. W 43 24/10 - 28/10	Course Introduction (WA)	Testing Part 1 (WA)	last minute change: no lecture/exercise today but two lectures next week!
2. W 44 31/10 - 4/11	Testing Part 2 (WA)	Testing Part 3 (WA)	Exercises Testing (GP) room ED
3. W 45 7/11 - 11/11	Debugging Part 1 (VK)	Debugging Part 2 (VK)	Exercises Debugging (GP)
11/11	Friday: Deadline Lab Assignment 1
4. W 46 14/11 - 18/11	Formal Specification Part 1 (WA)	Formal Specification Part 2 (WA)	Formal Specification Part 3 (WA)
5. W 47 21/11 - 25/11	Exercises Formal Specification (BD)	Automated Test Case Generation Part 1 (VK)	Automated Test Case Generation Part 2 (VK, ÅL)
25/11	Friday: Deadline Lab Assignment 2
6. W 48 28/11 - 2/12	Exercises Automated Test Case Generation (GP)	Formal Verification Part 1 (VK)	Formal Verification Part 2 (VK)
7. W 49 5/12 - 9/12	Formal Verification Part 3 (VK)	Exercises Formal Verification (BD)	(no lecture/exercise)
13/12	Tuesday: Deadline Lab Assignment 3
14/12	EXAM: 14:00 - 18:00, Wednesday, December 14, Maskin-salar

W. Ahrendt, V. Klebanov, Dec 6, 2011