From 210ddf92aab09acc796b2a7fe34ba3bd983cbd62 Mon Sep 17 00:00:00 2001
From: Nguyễn Gia Phong <cnx@loang.net>
Date: Mon, 11 Dec 2023 13:34:41 +0900
Subject: Finish content

---
 abstract.tex | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'abstract.tex')

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}
-- 
cgit 1.4.1

