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 /intro.tex | |
parent | da9e28add29b71e0b935101d9ac367cced746d76 (diff) | |
download | thesis-69dec62e6029d049471f691b8e467948a96cfcbe.tar.gz |
Nit pick
Diffstat (limited to 'intro.tex')
-rw-r--r-- | intro.tex | 4 |
1 files changed, 2 insertions, 2 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. |