Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators
arXiv:2508.20340v4 Announce Type: replace-cross
Abstract: Satisfiability Modulo Theory (SMT) solvers are foundational to modern systems and programming languages research, providing the foundation for tasks like symbolic execution and automated verifi…