From ad04e1b633572a8b8f5e709630064c9aeef88421 Mon Sep 17 00:00:00 2001
From: Nils Loose <44154987+nils-loose@users.noreply.github.com>
Date: Mon, 4 Mar 2024 08:11:40 +0000
Subject: [PATCH] Added new Java DSE engine to the list.

Added SWAT, a new DSE engine for Java, to the list of existing engines.
---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 818f1ab..23c591d 100644
--- a/README.md
+++ b/README.md
@@ -53,6 +53,7 @@
 * [JFuzz](http://people.csail.mit.edu/akiezun/jfuzz/) - Concolic execution tool built on [Java PathFinder](https://babelfish.arc.nasa.gov/trac/jpf/).
 * [JBSE](http://pietrobraione.github.io/jbse/) - Symbolic execution tool that uses a custom JVM. Supports CVC3, CVC4, Sicstus, and Z3.
 * [Key](https://www.key-project.org/) - Theorem Prover that uses specifications written in Java Modeling Language (JML).
+* [SWAT](https://github.com/SWAT-project/SWAT) - Loosely coupled dynamic symbolic execution using [ASM](https://asm.ow2.io) for instrumentation, [JavaSMT](https://github.com/sosy-lab/java-smt) for formula generation and currently [Z3](https://github.com/Z3Prover/z3) as a solver.
 
 
 ### LLVM