IEEE/ICACT20260382 Slide.15        [Big Slide]       Oral Presentation
We evaluated the effectiveness of our approach using the Juliet Test Suite, comparing Memory Leak Hunter both with and without path verification. The results were clear: by applying our path feasibility method, we were able to filter out all false positives and keep all true positives.

[Go to Next Slide]
Select Voice: