Yoonsik Cheon: Abstraction in Assertion-Based Test Oracles. QSIC 2007: 410-414