An Empirical Evaluation of Assertions as Oracles. - Kavir Shrestha; Matthew J. Rutherford (ICST, 2011)