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