Detecting hard faults with combined approximate forward/backward symbolic techniques.

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

Browse the full ISCAS paper archive.