Cross-checking oracles from intrinsic software redundancy.

Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezz

Browse the full ICSE paper archive.