From 012580d5797e62505fcf9a7c8f658d9245cc5400 Mon Sep 17 00:00:00 2001
From: Nguyễn Gia Phong <cnx@loang.net>
Date: Mon, 13 Nov 2023 17:02:11 +0900
Subject: Rename background chapter

---
 bg.tex | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 bg.tex

(limited to 'bg.tex')

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
-- 
cgit 1.4.1

