diff options
| -rw-r--r-- | abstract.tex | 6 | ||||
| -rw-r--r-- | ack.tex | 12 | ||||
| -rw-r--r-- | all.tex | 15 | ||||
| -rw-r--r-- | shell.nix | 2 |
4 files changed, 26 insertions, 9 deletions
diff --git a/abstract.tex b/abstract.tex index 23c50a2..28fce6a 100644 --- a/abstract.tex +++ b/abstract.tex @@ -3,9 +3,13 @@ In recent decades, \gls{apr} has been advancing consistently according to benchmarks. However, its use in practice is still limited due to the difficulty in choosing a desired patch among the generated pool. + This work introduces a method to logically differentiate between patches through symbolic execution. The technique generates a tree of decisions for developers to reason between patches based on the program's inputs -and semi-automatically captured outputs. +and semi-automatically captured outputs. Its implementation \psychic{} +based on \klee{} is evaluated on patches automatically generated +for toy programs in the \textsc{IntroClass} benchmark, +showing promising preliminaries. \end{abstract} \thispagestyle{empty} diff --git a/ack.tex b/ack.tex index 3cb4b9a..9420f5d 100644 --- a/ack.tex +++ b/ack.tex @@ -1,3 +1,13 @@ \addcontentsline{toc}{section}{Acknowledgements} \section*{\hfill\Large Acknowledgements\hfill\hfill} -% TODO: grants +The experiments would not be possible without YoungJae Kim's work +on meta program format and the automatic patch generator MSV, +and integration efforts by \foreignlanguage{vietnamese}{Trương Huy Trung}. + +I would also like to thank my academic advisor, Dr Jooyong Yi, +and other lab mates for being nothing but supportive both in life +and at work, even though I could be antisocial at times. +Last but not least, I am grateful of my family and friends back in +\foreignlanguage{vietnamese}{Việt Nam}, and the new friends +I met here in UNIST, especially in the shared kitchen, +for their consistent support and encouragements. diff --git a/all.tex b/all.tex index a87213e..12219e2 100644 --- a/all.tex +++ b/all.tex @@ -19,6 +19,7 @@ \usepackage{graphicx} \usepackage{glossaries} \usepackage{pdfpages} +\usepackage{setspace} \usepackage{siunitx} \usepackage[skip=-1ex]{subcaption} \usepackage{tikz} @@ -92,12 +93,14 @@ \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{}} +\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 diff --git a/shell.nix b/shell.nix index d773b8f..c096b9c 100644 --- a/shell.nix +++ b/shell.nix @@ -4,7 +4,7 @@ mkShell { inherit (texlive) latexmk scheme-basic algorithms algorithmicx amsmath babel-vietnamese booktabs biblatex caption cases cite enumitem fancyhdr float glossaries hyperref ieeetran - pdflscape pdfpages pgf psnfss rsfs siunitx times tocloft + pdflscape pdfpages pgf psnfss rsfs setspace siunitx times tocloft varwidth vntex xcolor; }) ]; } |