Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes. Debugging by Diagnosing Assumptions. In Peter Fritszon, editor, Automated and Algorithmic Debugging, First International Workshop, AADEBUG 93, Linköping, Sweden, May 3-5, 1993, Proceedings. Volume 749 of Lecture Notes in Computer Science, pages 58-74, Springer, 1993.
Abstract is missing.