Attributes . QUICK-CHECK TESTER . Names