\myheading{Further reading}

\begin{itemize}

\item Robert W. Floyd --- Assigning meaning to programs
\footnote{\url{https://classes.soe.ucsc.edu/cmps290g/Fall09/Papers/AssigningMeanings1967.pdf}}.

\item James C. King --- Symbolic Execution and Program Testing
\footnote{\url{https://yurichev.com/mirrors/king76symbolicexecution.pdf}}.

\item History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
\footnote{\url{https://github.com/enzet/symbolic-execution}}.

\end{itemize}

\section{Tools}

\begin{itemize}

\item \url{http://angr.io} - static and dynamic symbolic ("concolic") analysis.

\end{itemize}