CSE647: Testing and Verification
			   Errata for Projects
			      Scott Stoller

14 November

I updated the project description to correct an error in the definition of
"possibly serialized".  Here is the revised definition:

A class C is "possibly directly serialized" if (i) C is serializable and
(ii) there exists a class or interface C1 such that (ii-a) C is a subclass
of (possibly equal to) C1, or C implements C1, and (ii-b) C1 is a
parameter type or return type of some method in some remote interface.

C is "possibly serialized" if (i) C is possibly directly serialized, or
(ii) there exists a possibly serialized class C1 with an instance field of 
type C2 such that C extends or implements C2.


9 November

All previous errata and a few other changes have been incorporated in the
project description.