Virual Oral Presentation Slide by Slide

IEEE/ICACT20260382 Slide.20        [Big Slide]	Oral Presentation
	As loops often lead to the path explosion problem in symbolic execution, our future research will focus on mitigating the path explosion problem caused by loops, exploring loop abstraction and induction techniques to keep symbolic execution tractable. We also plan to investigate advanced path-selection heuristics to prioritize high-probability branches and reach the paths endpoint faster.

[Go to Next Slide]

Select Voice: Virtual Oral Presentation!!