[PPT] - Symbolic execution as search, and the rise of solvers Search and PowerPoint Presentation