blob: ac1203d091289b91a8f66a746fb9569326018e67 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
\section{Conclusion}
This work introduced a 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.
Parallel \gls{smt} symbolic execution~\cite{parallel} should also be considered
to make better use of modern hardware. Finally, a more comprehensive
evaluation is needed to prove the applicability of the approach.
|
