From 00b028d13203525ac6ed9b2872b280628c13a24e Mon Sep 17 00:00:00 2001
From: Nguyễn Gia Phong <cnx@loang.net>
Date: Mon, 13 Nov 2023 12:10:27 +0900
Subject: Tweak title

---
 all.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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