Luís Moniz Pereira Carlos Viegas Damásio José Júlio Alferes Debugging by Diagnosing Assumptions. 58-74 1993 conf/aadebug/1993 AADEBUG db/conf/aadebug/aadebug93.html#PereiraDA93