diff options
Diffstat (limited to 'abstract.tex')
| -rw-r--r-- | abstract.tex | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/abstract.tex b/abstract.tex index 23c50a2..28fce6a 100644 --- a/abstract.tex +++ b/abstract.tex @@ -3,9 +3,13 @@ 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. +and semi-automatically captured outputs. Its implementation \psychic{} +based on \klee{} is evaluated on patches automatically generated +for toy programs in the \textsc{IntroClass} benchmark, +showing promising preliminaries. \end{abstract} \thispagestyle{empty} |