\renewcommand{\abstractname}{\Large Abstract}
\begin{abstract}
In recent decades, \gls{apr} has been advancing consistently
according to benchmarks.  However, its use in practice is still limited
due to the difficulty in choosing a desired patch among the generated pool.
This work introduces a method to logically differentiate between patches
through symbolic execution.  The technique generates a tree of decisions
for developers to reason between patches based on the program's inputs
and semi-automatically captured outputs.
\end{abstract}
\thispagestyle{empty}