Tweak title

1 files changed, 2 insertions, 1 deletions

diff --git a/all.tex b/all.tex
index 1ac8e96..12162ab 100644
--- a/all.tex
+++ b/all.tex
@@ -45,7 +45,8 @@
 \newtheorem{proof}{\bf Proof}
 \DeclareMathOperator*{\argmax}{arg\,max}
 
-\newcommand{\name}{Flexible Symbolic Executor for Mass Patch Differentiation}
+\newcommand{\name}{Symbolic Execution Groundwork\\
+                   for Differential Testing of Patch Pools}
 \newcommand{\cnx}{\foreignlanguage{vietnamese}{Nguyễn Gia Phong}}
 \newcommand{\cse}{Department of Computer Science and Engineering}
 \newcommand{\unist}{Ulsan National Institute of Science and Technology}