1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
\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}
|
