diff options
| author | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-11 17:04:09 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-11 17:04:09 +0900 |
| commit | 69dec62e6029d049471f691b8e467948a96cfcbe (patch) | |
| tree | aff8c86693bc872ed394bfbd8f06668deed51d1d | |
| parent | da9e28add29b71e0b935101d9ac367cced746d76 (diff) | |
| download | thesis-69dec62e6029d049471f691b8e467948a96cfcbe.tar.gz | |
Nit pick
| -rw-r--r-- | intro.tex | 4 | ||||
| -rw-r--r-- | outro.tex | 5 | ||||
| -rw-r--r-- | 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}, |