Finish content

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.