Using Fault Screeners for Software Error Detection.

Rui Abreu, Alberto Gonzlez, Peter Zoeteweij, Arjan J. C. van Gemund

Browse the full ENASE paper archive.