\documentclass[11pt, a4paper, onecolumn, oneside]{report}
\usepackage[vietnamese,english]{babel}
\usepackage[hidelinks]{hyperref}
\usepackage{mathptmx}
\RequirePackage[top=3cm, bottom=1in, left=1in, right=1in]{geometry}
\linespread{1.3}

\usepackage{algorithm}
\usepackage[noend]{algpseudocode}
\usepackage{alltt}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{booktabs}
\usepackage{caption}
\usepackage{cases}
\usepackage{cite}
\usepackage{enumitem}
\usepackage{fancyhdr}
\usepackage{graphicx}
\usepackage{glossaries}
\usepackage{multicol}
\usepackage{pdfpages}
\usepackage{setspace}
\usepackage{siunitx}
\usepackage[skip=-1ex]{subcaption}
\usepackage{tikz}
\usepackage{tocloft}
\usepackage{varwidth}
\usepackage{xcolor}

\usetikzlibrary{arrows}
\usetikzlibrary{decorations.pathmorphing}
\usetikzlibrary{fit}
\usetikzlibrary{matrix}
\usetikzlibrary{positioning}
\usetikzlibrary{shapes}
\usetikzlibrary{shapes.geometric}

\renewcommand\cftsecafterpnum{\vskip15pt}
\renewcommand\cftsubsecafterpnum{\vskip15pt}
\renewcommand\cftfigafterpnum{\vskip15pt}
%\renewcommand{\baselinestretch}{1.5}
\renewcommand{\thesection}{\Roman{section}}
\renewcommand{\thesubsection}{\arabic{section}.\arabic{subsection}}
\renewcommand{\thefigure}{\arabic{figure}}
\renewcommand{\thefootnote}{\fnsymbol{footnote}}
\renewcommand{\algorithmicrequire}{\textbf{Input:}}
\renewcommand{\algorithmicensure}{\textbf{Output:}}
\newcommand{\qed}{\hfill\blacksquare}

\newcounter{lemma}
\newcounter{proposition}
\newcounter{theorem}
\newtheorem{definition}{Definition}
\newtheorem{lemma}{\bf Lemma}
\newtheorem{proposition}{\bf Proposition}
\newtheorem{theorem}{\bf Theorem}
\newtheorem{proof}{\bf Proof}
\DeclareMathOperator*{\argmax}{arg\,max}
\DeclareCaptionLabelFormat{none}{\!}

\newcommand{\name}{Symbolic Execution Groundwork\\
                   for Distinguishing Automatically Generated Patches}
\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}
\newcommand{\klee}{\textsc{klee}}
\newcommand{\psychic}{\textsc{Psychic}}
\newcommand{\blankpage}{\hbox{}\thispagestyle{empty}\clearpage}
\newcommand{\doi}[1]{\href{https://oadoi.org/#1}{doi:#1}}

\fancyhf{}
\renewcommand{\headrulewidth}{0pt}
\cfoot{\thepage}
\pagestyle{fancy}

\title{\name}
\author{\cnx}
\input{glossary.tex}

\begin{document}
\include{front.tex}
\include{title.tex}
\include{approve.tex}
\include{confirm.tex}

% [Thesis approval]
% Add the approval doc signed by your advisor in a PDF file
% Put your pdf with the filename below, and uncomment it.
%\includepdf[fitpaper=true, pages=-]{sample_approval.pdf}

% [Confirmation of thesis approval]
% add the certificate signed by your committee in a PDF file
% Put your pdf with the filename below, and uncomment it.
%\includepdf[fitpaper=true, pages=-]{sample_confirmation.pdf}

\include{abstract.tex}
\blankpage
\begin{spacing}{1}
  \renewcommand{\contentsname}{\hfill\Large Contents\hfill}
  \tableofcontents{}
  \thispagestyle{empty}
  \clearpage
  \renewcommand{\listfigurename}{\hfill\Large List of Figures\hfill}
  {\captionsetup{subrefformat=none}\listoffigures{}}
\end{spacing}
\thispagestyle{empty}
\clearpage
\renewcommand{\glossaryname}{\hfill\Large Technical Terms
                             and Abbreviations\hfill\hfill}
\printnoidxglossaries
\thispagestyle{empty}
\clearpage

\include{intro.tex}
\include{bg.tex}
\include{technique.tex}
\include{eval.tex}
\include{discuss.tex}
\include{related.tex}
\include{outro.tex}

\newpage
\renewcommand{\bibname}{\hfill\Large References\hfill\hfill}
\phantomsection\addcontentsline{toc}{section}{References}
\bibliographystyle{IEEEtran}
\bibliography{ref.bib}

\include{ack.tex}
\blankpage
\end{document}
