blob: 0a41d8f486f215b63886bb6217725f0ae3bdafe3 (
plain) (
blame)
1
2
3
4
5
6
7
8
|
\setcounter{page}{1}
\section{Introduction}
TODO: mention symbolic execution\\
TODO: mention \gls{apr}
This work's main contributions are:\begin{enumerate}
\item A tool named \textsc{Psychic}
\end{enumerate}
|