Calendar (Please contact me for any materials that you are interested in)

August 25 26 27
First day of classes 		28 29
September 1
Labor Day:
No class 		2 3
Class 		4 5
8
Class 		9 10
No class 		11 12
Class
15
Class 		16 17
No class 		18 19
Class
22
Class 		23 24
Class 		25 26
29
Class 		30 October 1
No Class 		2 3
Class
Sushant Rewaskar, Mars programs
6
Yom Kippur
No class 		7 8
Class
Dorian Miller, BMW 745 		9 10
Class
Philipp Schlicker, Ariane V
13
Class
Abhishek Ghosh, Mariner 1 		14 15
Class
Vasile Bud, USS Yorktown
16 17
Short Class
Liz Dolan, Altona railway station
20
No class 		21 22
No class 		23
Fall break 		24
Fall break
27
Class
William Luebke, Therac-25 		28 29
No class		 30 31
Class
Mithun Arora, Bank of NY
November 3
Class
Abhishek Singh, AT&T 		4 5
Class
Mithun Arora
Garantini and Heitmeyer: Using model checking to generate tests from requirements specifications 		6 7
Class
Abhishek Singh
McUmber and Cheng: A General Framework for Formalizing UML with Formal Languages
10
Class
Dorian Miller,
Weyuker and Avritzer: A metric for predicting the performance of an application under a growing workload 		11 12
Class
Vasile Bud
Kaner: Quality Cost Analysis: Benefits and Risks 		13 14
Class
Sushant Rewaskar
Heckel and Lohmann: Towards Model-Driven Testing
17
Class
Philipp Schlicker
Christian: Understanding Fault-Tolerant Distributed Systems		 18 19
Class
William Luebke
Maxion and Olszewski: Eliminating Exception Handling Errors with Dependability Cases: a Comparative, Empirical Study 		20 21
24
Class
Abhishek Ghosh
Whittaker: Stochastic Software Testing 		25 26
Class
 27 28
December 1
Class
 2 3
Class
Tools assignment due
demos: JUnit (report), unit++ (report), and COMUnit (report),		 4 5
8
Class
demos: AspectJ (report), Eventcoder, and Verisoft (report)		 9 10 11 12
Final Project
15 16 17