Automatic generation of oracles for exceptional behaviors.

Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezz

Browse the full ISSTA paper archive.