diff options
| author | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-11 17:04:09 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-11 17:04:09 +0900 |
| commit | 69dec62e6029d049471f691b8e467948a96cfcbe (patch) | |
| tree | aff8c86693bc872ed394bfbd8f06668deed51d1d /outro.tex | |
| parent | da9e28add29b71e0b935101d9ac367cced746d76 (diff) | |
| download | thesis-69dec62e6029d049471f691b8e467948a96cfcbe.tar.gz | |
Nit pick
Diffstat (limited to 'outro.tex')
| -rw-r--r-- | outro.tex | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/outro.tex b/outro.tex index c0624e3..d8dc375 100644 --- a/outro.tex +++ b/outro.tex @@ -11,5 +11,6 @@ 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. +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. |