Two controlled experiments concerning the usefulness of assertions as a means for programming | IEEE Conference Publication | IEEE Xplore