An Empirical Evaluation of Assertions as Oracles | IEEE Conference Publication | IEEE Xplore