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 120b9b3..1f15e6e 100644 --- a/intro.tex +++ b/intro.tex @@ -24,7 +24,7 @@ of this process, we work on methods to highlight the semantic difference 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 +of program revisions. However, there is a lack of precedents in doing so at scale like for multiple \gls{apr}-generated patches. Symbolic execution is observed as one promising direction as it works directly @@ -38,7 +38,7 @@ of this work are: program revisions as a semi-automated pipeline, for communicating the reasoning behind each patch in form of a decision tree \item A tool named \psychic{} implementing this process for C programs - and handling platform specificities for the generalization of application + and handling platform specificities for applicative generalization \item Preliminary results of its performance on patches automatically generated for small programs \end{enumerate} |