Login / Signup
SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution).
Nils Loose
Felix Mächtle
Florian Sieck
Thomas Eisenbarth
Published in:
TACAS (3) (2024)
Keyphrases
</>
evolutionary algorithm
case study
database systems
source code