Adding Value to Formal Test Oracles. - James H. Andrews; Rui Fu; Vicky D. Liu (ASE, 2002)