Paper-Conference
SWAT: Improvements to the symbolic executor (competition contribution)
Jan 1, 2026
DASA: Fully Gradient-based Program Analysis (Competition Contribution)
Jan 1, 2026
Coverage-Guided Multi-Agent Harness Generation for Java Library Fuzzing
Jan 1, 2026
Beyond Accuracy: Characterizing Code Comprehension Capabilities in (Large) Language Models
Jan 1, 2026
AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
Jan 1, 2025
SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution)
Jan 1, 2024
Madvex: Instrumentation-Based Adversarial Attacks on Machine Learning Malware Detection
Jan 1, 2023