Two Controlled Experiments Concerning the Usefulness of Assertions as a Means for Programming