Automatic generation of oracles for exceptional behaviors