diff options
author | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-12 11:56:49 +0900 |
---|---|---|
committer | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-12 11:56:49 +0900 |
commit | 1540c49161fc4f9fc075d3fd978f682f8f041dac (patch) | |
tree | ac96743e5051ca007e75e93301dc1220f9224549 /outro.tex | |
parent | 5d75dc22bc63abc0102226429c465c62f5f21994 (diff) | |
download | thesis-1540c49161fc4f9fc075d3fd978f682f8f041dac.tar.gz |
Proof read for the last time
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 |