Testing Properties of Objects