diff options
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. |