\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.
