Title: TestGen 3. 3 User's Guide Addendum