diff options
author | Nguyễn Gia Phong <cnx@loang.net> | 2023-11-13 17:02:11 +0900 |
---|---|---|
committer | Nguyễn Gia Phong <cnx@loang.net> | 2023-11-13 17:02:11 +0900 |
commit | 012580d5797e62505fcf9a7c8f658d9245cc5400 (patch) | |
tree | f6483376b14546290e5f2144e9c9e4554c7984a3 /bg.tex | |
parent | f4f58aaaef8ae3bcaf66bb1c0ec76c4c761eec99 (diff) | |
download | thesis-012580d5797e62505fcf9a7c8f658d9245cc5400.tar.gz |
Rename background chapter
Diffstat (limited to 'bg.tex')
-rw-r--r-- | bg.tex | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bg.tex b/bg.tex new file mode 100644 index 0000000..6bc4638 --- /dev/null +++ b/bg.tex @@ -0,0 +1,7 @@ +\section{Background} +Our \gls{difftest} generation is based on the symbolic executor +\textsc{klee}'s architecture, which at a high level is an interpreter loop. +At each iteration, it selects a symbolic process, also known as a \gls{state}, +in whose context an instruction is then executed~\cite{klee}. + +% TODO: base symb exec algo |