summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rw-r--r--intro.tex4
-rw-r--r--outro.tex5
-rw-r--r--ref.bib4
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},