blob: 23c50a2ccc765509565a67336aa94058194cd0fa (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
\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}
|
