Debugging by diagnosing assumptions

Automated and Algorithmic Debugging - Lecture Notes in Computer Science ◽

10.1007/bfb0019400 ◽

1993 ◽

pp. 58-74 ◽

Cited By ~ 10

Author(s):

Luís Moniz Pereira ◽

Carlos Viegas Damásio ◽

José Júlio Alferes

Download Full-text