diff options
Diffstat (limited to 'eval.tex')
-rw-r--r-- | eval.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/eval.tex b/eval.tex index e77a4ac..98358b7 100644 --- a/eval.tex +++ b/eval.tex @@ -17,7 +17,7 @@ In addition to the test cases provided by \textsc{IntroClass}, which are non-exhaustive of the input domains, we use property tests~\cite{hypothesis} with the respective ground truth program\footnote{\url{https://github.com/McSinyx/IntroClass}} -to select buggy programs. MSV then generate fixes in form of meta programs, +to select buggy programs. MSV then generate fixes in the form of meta programs, which are then post-processed into \psychic{}-compatible format. Due to the limitation of \klee{}'s POSIX runtime, \texttt{libc} calls @@ -57,7 +57,7 @@ the tool successfully differentiate all semantically different patches. \bottomrule \end{tabular} \end{center} - \caption{Decision tree quality on patch pool generated by MSV + \caption{Decision tree quality on the patch pool generated by MSV for \textsc{IntroClass} programs. Respective to each meta program with $n$ revisions are the height of the patch decision tree and the maximum number of undistinguished revisions.}\label{result} |