diff options
| -rw-r--r-- | all.tex | 3 |
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} |