Dynamic Symbolic Execution

SWAT: Modular dynamic symbolic execution for java applications using dynamic instrumentation (competition contribution)

SWAT: Modular dynamic symbolic execution for java applications using dynamic instrumentation (competition contribution)

Jan 1, 2024

© 2025 Nils Loose. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.