SWAT (Symbolic Web Application Testing) ist eine lose gekoppelte dynamische symbolische Ausführungsengine für Java-Anwendungen. Die Engine basiert auf CATG, aber ihr Design und ihre Implementierung sind über die ursprüngliche Funktionalität hinaus gewachsen. Anders als viele bestehende Engines steuert SWAT die symbolische Ausführung nicht aktiv. Durch Instrumentierung während der Ladezeit fügt ein Javaagent dem System under Test (SuT) symbolische Beobachtungsmöglichkeiten hinzu. Nach der Instrumentierung wird während der normalen Ausführung ein symbolischer Zustand aufrechterhalten, der den ausgeführten Pfad und alle symbolischen Einschränkungen und Änderungen, die während der Ausführung auftreten, aufzeichnet. Diese werden durch ein separates Modul gespeichert und für die symbolische Exploration benutzt. 
 

Der Code ist auf Github zugänglich: https://github.com/SWAT-project/SWAT
Die Dokumentation ist unter: https://swat-project.github.io/docs/ erreichbar.