Test oracles (2001)

by Luciano Baresi, Michal Young