\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{pdfpages} \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} \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} % [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} {\captionsetup{subrefformat=none}\listoffigures{}} \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{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}