3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
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…