150 citations · 150 across the 3 of their papers we have counts for
3 papers
Solving QBF with Counterexample Guided Refinement
Mikoláš Janota, William Klieber, Joao Marques-Silva +1
We propose two novel approaches for using Counterexample-Guided Abstraction Refinement (CEGAR) in Quantified Boolean Formula (QBF) solvers. The first approach develops a recursive…
Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques
William Klieber, David Svoboda, Lori Flynn +1
Static analysis is widely used for finding security weaknesses in source code before deployment, but it often produces far more alerts than analysts can review. We study how well l…
Automated Code Repair for C/C++ Static Analysis Alerts
David Svoboda, Lori Flynn, William Klieber +3
(Note: This work is a preprint.) Static analysis (SA) tools produce many diagnostic alerts indicating that source code in C or C++ may be defective and potentially vulnerable to se…