diff options
Diffstat (limited to 'outro.tex')
-rw-r--r-- | outro.tex | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/outro.tex b/outro.tex index 5e87498..c0624e3 100644 --- a/outro.tex +++ b/outro.tex @@ -1 +1,15 @@ \section{Conclusion} +This work introduced an differential testing technique +for multiple program variants at once, implemented as an extension +named \psychic{} on top of the symbolic execution engine \klee{}. +It took into account edge cases to lay out a groundwork to be easily used +for a diverse set C programs to help developers with choosing +automatically generated patches. That being said, experiment results +indicates a large room for improvements. + +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. |