diff options
author | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-11 13:34:41 +0900 |
---|---|---|
committer | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-11 13:34:41 +0900 |
commit | 210ddf92aab09acc796b2a7fe34ba3bd983cbd62 (patch) | |
tree | e14507055b594dddf22c5f44fc2f25b356902d6d /abstract.tex | |
parent | 0f6b9207d5380eefb3a99d21a12751a32de63bfb (diff) | |
download | thesis-210ddf92aab09acc796b2a7fe34ba3bd983cbd62.tar.gz |
Finish content
Diffstat (limited to 'abstract.tex')
-rw-r--r-- | abstract.tex | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/abstract.tex b/abstract.tex index 4701ff7..23c50a2 100644 --- a/abstract.tex +++ b/abstract.tex @@ -1,5 +1,11 @@ \renewcommand{\abstractname}{\Large Abstract} \begin{abstract} -Your abstract should be here. +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} |