From 69dec62e6029d049471f691b8e467948a96cfcbe Mon Sep 17 00:00:00 2001 From: Nguyễn Gia Phong Date: Mon, 11 Dec 2023 17:04:09 +0900 Subject: Nit pick --- intro.tex | 4 ++-- outro.tex | 5 +++-- ref.bib | 4 ++-- 3 files changed, 7 insertions(+), 6 deletions(-) diff --git a/intro.tex b/intro.tex index 4cb593f..120b9b3 100644 --- a/intro.tex +++ b/intro.tex @@ -21,8 +21,8 @@ together with the lack of certainty of correctness, it is an insufficient guide for choosing \emph{the} desired patch, if any. \Gls{apr} users must then verify each patch to decide which to apply. Recognizing the tedious nature of this process, we work on methods to highlight the semantic difference -between patches, in form of \glspl{difftest}. Existing automation techniques -for differentiation such as black- or gray-box fuzzing~\cite{nezha} +between patches, in the form of \glspl{difftest}. Existing automation +techniques for differentiation such as black- or gray-box fuzzing~\cite{nezha} and symbolic execution~\cite{shadow} has shown promise on pairs of program revisions. However, there is a lack in precedents in doing so at scale like for multiple \gls{apr}-generated patches. diff --git a/outro.tex b/outro.tex index c0624e3..d8dc375 100644 --- a/outro.tex +++ b/outro.tex @@ -11,5 +11,6 @@ In the future, other techniques need to be incorporated to improving the performance and generalizibility. Sophisticated scheduling and path pruning could help with efficiency, and further works on symbolic execution runtimes would also be beneficial. -Finally, a more comprehensive evaluation is needed to prove -the applicability of the approach. +Parallel \gls{smt} symbolic execution~\cite{parallel} should also be considered +to make better use of modern hardware. Finally, a more comprehensive +evaluation is needed to prove the applicability of the approach. diff --git a/ref.bib b/ref.bib index 26949fe..bc5c5f1 100644 --- a/ref.bib +++ b/ref.bib @@ -174,7 +174,7 @@ year = 2015, volume = 3, pages = {17--26}, - doi = {10.1109/Trustcom.2015.608}} + note = {\doi{10.1109/Trustcom.2015.608}}} @article{fl-survey, author = {Wong, W. Eric and Gao, Ruizhi and Li, Yihao @@ -376,7 +376,7 @@ volume = 48, number = 9, pages = {3640--3663}, - doi = {10.1109/TSE.2021.3101870}} + note = {\doi{10.1109/TSE.2021.3101870}}} @article{trident, author = {Nikhil Parasaram and Earl T. Barr and Sergey Mechtaev}, -- cgit 1.4.1