Automatic generation of oracles for exceptional behaviors
Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè · 2016
Test suites should test exceptional behavior to detect faults in error-handling code. However, manually-written test suites tend to neglect exceptional behavior. Automatically-generated test suites, on the other hand, lack test oracles that verify whether runtime exceptions are the expected behavior of the code under test.