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

Jan 1, 2024·
Nils Loose
,
Felix Mächtle
,
Florian Sieck
,
Thomas Eisenbarth
· 0 min read
Type
Publication
International Conference on Tools and Algorithms for the Construction and Analysis of Systems