1 citations · 1 across the 1 of their papers we have counts for
1 paper
Hani Girgis, Bharat Jayaraman
This paper presents a logic based approach to debugging Java programs. In contrast with traditional debugging we propose a debugging methodology for Java programs using logical que…