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

\usepackage{algorithm}
\usepackage{algpseudocode}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{booktabs}
\usepackage{caption}
\usepackage{cases}
\usepackage{cite}
\usepackage{fancyhdr}
\usepackage{glossaries}
\usepackage{graphicx}
\usepackage[hidelinks]{hyperref}
\usepackage{pdfpages}
\usepackage{tikz}
\usepackage{tocloft}

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

\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}}
\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}

\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}
\newcommand{\blankpage}{\hbox{}\thispagestyle{empty}\clearpage}

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

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

\begin{document}
\include{front.tex}
\include{title.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
\renewcommand{\contentsname}{\hfill\Large Contents\hfill}
\tableofcontents{}
\thispagestyle{empty}
\clearpage
\renewcommand{\listfigurename}{\hfill\Large List of Figures\hfill}
\listoffigures{}
\thispagestyle{empty}
\clearpage
\renewcommand{\glossaryname}{\hfill\Large Technical Terms\hfill\hfill}
\printnoidxglossaries
\thispagestyle{empty}
\clearpage

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

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

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