IEEE/ICACT20260382 Slide.04        [Big Slide]       Oral Presentation
So, the goal of this work is to check the feasibility of the given control flow path. To achieve this, we introduce a solution powered by symbolic execution.

[Go to Next Slide]
Select Voice: