diff options
Diffstat (limited to 'outro.tex')
-rw-r--r-- | outro.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/outro.tex b/outro.tex index d8dc375..ac1203d 100644 --- a/outro.tex +++ b/outro.tex @@ -1,5 +1,5 @@ \section{Conclusion} -This work introduced an differential testing technique +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 |