SWAT: Modular dynamic symbolic execution for java applications using dynamic instrumentation (competition contribution)
Jan 1, 2024
🎉 SWAT achieved 4th place in the 13th Competition on Software Verification (SV-COMP 2024) at its debut year!
SWAT the dynamic symbolic execution engine developed at the University of Lübeck
Jan 1, 2023