diff --git a/Cargo.lock b/Cargo.lock
index 5c507c8c5f2..3266f4e652e 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -910,6 +910,12 @@ version = "1.0.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "acbf1af155f9b9ef647e42cdc158db4b64a1b61f743629225fde6f3e0be2a7c7"
 
+[[package]]
+name = "comma"
+version = "1.0.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "55b672471b4e9f9e95499ea597ff64941a309b2cdbffcc46f2cc5e2d971fd335"
+
 [[package]]
 name = "console"
 version = "0.15.7"
@@ -2753,6 +2759,20 @@ dependencies = [
  "memoffset 0.6.5",
 ]
 
+[[package]]
+name = "nix"
+version = "0.25.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f346ff70e7dbfd675fe90590b92d59ef2de15a8779ae305ebcbfd3f0caf59be4"
+dependencies = [
+ "autocfg",
+ "bitflags 1.3.2",
+ "cfg-if 1.0.0",
+ "libc",
+ "memoffset 0.6.5",
+ "pin-utils",
+]
+
 [[package]]
 name = "nix"
 version = "0.26.4"
@@ -2769,6 +2789,8 @@ name = "noir_debugger"
 version = "0.22.0"
 dependencies = [
  "acvm",
+ "assert_cmd",
+ "build-data",
  "codespan-reporting",
  "dap",
  "easy-repl",
@@ -2778,8 +2800,11 @@ dependencies = [
  "noirc_errors",
  "noirc_printable_type",
  "owo-colors",
+ "rexpect",
+ "rustc_version",
  "serde_json",
  "tempfile",
+ "test-binary",
  "thiserror",
 ]
 
@@ -3692,6 +3717,19 @@ dependencies = [
  "winreg",
 ]
 
+[[package]]
+name = "rexpect"
+version = "0.5.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "01ff60778f96fb5a48adbe421d21bf6578ed58c0872d712e7e08593c195adff8"
+dependencies = [
+ "comma",
+ "nix 0.25.1",
+ "regex",
+ "tempfile",
+ "thiserror",
+]
+
 [[package]]
 name = "rfc6979"
 version = "0.3.1"
diff --git a/tooling/debugger/Cargo.toml b/tooling/debugger/Cargo.toml
index 0afe28727d1..4d37f801d78 100644
--- a/tooling/debugger/Cargo.toml
+++ b/tooling/debugger/Cargo.toml
@@ -6,7 +6,9 @@ authors.workspace = true
 edition.workspace = true
 license.workspace = true
 
-# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+[build-dependencies]
+rustc_version = "0.4.0"
+build-data.workspace = true
 
 [dependencies]
 acvm.workspace = true
@@ -22,5 +24,8 @@ easy-repl = "0.2.1"
 owo-colors = "3"
 serde_json.workspace = true
 
-[dev_dependencies]
-tempfile.workspace = true
\ No newline at end of file
+[dev-dependencies]
+assert_cmd = "2.0.12"
+rexpect = "0.5.0"
+test-binary = "3.0.1"
+tempfile.workspace = true
diff --git a/tooling/debugger/build.rs b/tooling/debugger/build.rs
new file mode 100644
index 00000000000..5d14ec2bae2
--- /dev/null
+++ b/tooling/debugger/build.rs
@@ -0,0 +1,74 @@
+use rustc_version::{version, Version};
+use std::fs::File;
+use std::io::Write;
+use std::path::{Path, PathBuf};
+use std::{env, fs};
+
+fn check_rustc_version() {
+    assert!(
+        version().unwrap() >= Version::parse("1.71.1").unwrap(),
+        "The minimal supported rustc version is 1.71.1."
+    );
+}
+
+const GIT_COMMIT: &&str = &"GIT_COMMIT";
+
+fn main() {
+    // Rebuild if the tests have changed
+    println!("cargo:rerun-if-changed=tests");
+
+    check_rustc_version();
+
+    // Only use build_data if the environment variable isn't set
+    // The environment variable is always set when working via Nix
+    if std::env::var(GIT_COMMIT).is_err() {
+        build_data::set_GIT_COMMIT();
+        build_data::set_GIT_DIRTY();
+        build_data::no_debug_rebuilds();
+    }
+
+    let out_dir = env::var("OUT_DIR").unwrap();
+    let destination = Path::new(&out_dir).join("debug.rs");
+    let mut test_file = File::create(destination).unwrap();
+
+    // Try to find the directory that Cargo sets when it is running; otherwise fallback to assuming the CWD
+    // is the root of the repository and append the crate path
+    let root_dir = match std::env::var("CARGO_MANIFEST_DIR") {
+        Ok(dir) => PathBuf::from(dir).parent().unwrap().parent().unwrap().to_path_buf(),
+        Err(_) => std::env::current_dir().unwrap(),
+    };
+    let test_dir = root_dir.join("test_programs");
+
+    generate_debugger_tests(&mut test_file, &test_dir);
+}
+
+fn generate_debugger_tests(test_file: &mut File, test_data_dir: &Path) {
+    let test_sub_dir = "execution_success";
+    let test_data_dir = test_data_dir.join(test_sub_dir);
+
+    let test_case_dirs =
+        fs::read_dir(test_data_dir).unwrap().flatten().filter(|c| c.path().is_dir());
+
+    for test_dir in test_case_dirs {
+        let test_name =
+            test_dir.file_name().into_string().expect("Directory can't be converted to string");
+        if test_name.contains('-') {
+            panic!(
+                "Invalid test directory: {test_name}. Cannot include `-`, please convert to `_`"
+            );
+        };
+        let test_dir = &test_dir.path();
+
+        write!(
+            test_file,
+            r#"
+#[test]
+fn debug_{test_name}() {{
+    debugger_execution_success("{test_dir}");
+}}
+            "#,
+            test_dir = test_dir.display(),
+        )
+        .expect("Could not write templated test file.");
+    }
+}
diff --git a/tooling/debugger/src/repl.rs b/tooling/debugger/src/repl.rs
index 8fbd10d8db6..b1af2bc2686 100644
--- a/tooling/debugger/src/repl.rs
+++ b/tooling/debugger/src/repl.rs
@@ -65,6 +65,7 @@ impl<'a, B: BlackBoxFunctionSolver> ReplDebugger<'a, B> {
                         );
                     }
                 }
+
                 print_source_code_location(self.debug_artifact, &location);
             }
         }
diff --git a/tooling/debugger/tests/debug.rs b/tooling/debugger/tests/debug.rs
new file mode 100644
index 00000000000..b2f441f5606
--- /dev/null
+++ b/tooling/debugger/tests/debug.rs
@@ -0,0 +1,55 @@
+#[cfg(test)]
+mod tests {
+    // Some of these imports are consumed by the injected tests
+    use assert_cmd::cargo::cargo_bin;
+
+    use rexpect::spawn_bash;
+
+    test_binary::build_test_binary_once!(mock_backend, "../backend_interface/test-binaries");
+
+    // include tests generated by `build.rs`
+    include!(concat!(env!("OUT_DIR"), "/debug.rs"));
+
+    pub fn debugger_execution_success(test_program_dir: &str) {
+        let nargo_bin =
+            cargo_bin("nargo").into_os_string().into_string().expect("Cannot parse nargo path");
+
+        let mock_backend_path =
+            path_to_mock_backend().into_string().expect("Cannot parse mock_backend path");
+
+        let mut dbg_session = spawn_bash(Some(10000)).expect("Could not start bash session");
+
+        dbg_session
+            .send_line(&format!("export NARGO_BACKEND_PATH={}", mock_backend_path))
+            .expect("Could not export NARGO_BACKEND_PATH.");
+        dbg_session.wait_for_prompt().expect("Could not export NARGO_BACKEND_PATH.");
+
+        // Start debugger and test that it loads for the given program.
+        dbg_session
+            .execute(
+                &format!("{} debug --program-dir {}", nargo_bin, test_program_dir),
+                &format!(".*\\Starting debugger.*"),
+            )
+            .expect("Could not start debugger");
+
+        // While running the debugger, issue a "continue" cmd,
+        // which should run to the program to end given
+        // we haven't set any breakpoints.
+        // ">" is the debugger's prompt, so finding one
+        // after running "continue" indicates that the
+        // debugger has not panicked until the end of the program.
+        dbg_session
+            .send_line("c")
+            .expect("Debugger panicked while attempting to step through program.");
+        dbg_session
+            .exp_string(">")
+            .expect("Failed while waiting for debugger to step through program.");
+
+        // Run the "quit" command, then check that the debugger confirms
+        // having successfully solved the circuit witness.
+        dbg_session.send_line("quit").expect("Failed to quit debugger");
+        dbg_session
+            .exp_regex(&format!(".*Circuit witness successfully solved.*"))
+            .expect("Expected circuit witness to be successfully solved.");
+    }
+}