SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution)

被引：0

作者：

Loose, Nils ^{[1
]}

Mächtle, Felix ^{[1
]}

Sieck, Florian ^{[1
]}

Eisenbarth, Thomas ^{[1
]}

机构：

[1] Institute for IT Security, University of Lübeck, Lübeck, Germany

来源：

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2024年 / 14572 LNCS卷

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

SWAT

引用

页码：399 / 405