Ajay Gupta 0005 Hardware Diagnosis as Program Debugging. 524-526 1987 IJCAI db/conf/ijcai/ijcai87.html#Gupta87