Author

D. Svoboda

h-index 9 View on Semantic Scholar

We have 1 of 35 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review Jul 2026

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques

This study studies how well large language models (LLMs) can adjudicate (classify as a real bug or a false alarm) static-analysis alerts and probes Juliet memorization and shows that o4-mini can often reconstruct sanitized test cases' original identities.

W. Klieber, D. Svoboda, Lori Flynn et al. · arXiv.org · 0 citations