Automatic generation of oracles for exceptional behaviors | Synapse