| Virual Oral Presentation Slide by Slide |
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] |