Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Certified Program Synthesis with a Multi-Modal Verifier
Yueyang Feng, Dipesh Kafle, Vladimir Gladshtein +5
Certified program synthesis (aka vericoding) is the process of automatically generating a program, its formal specification, and a machine-checkable proof of their alignment from a…
cs.SE2023
Greybox Fuzzing of Distributed Systems
Ruijie Meng, George Pîrlea, Abhik Roychoudhury +1
Grey-box fuzzing is the lightweight approach of choice for finding bugs in sequential programs. It provides a balance between efficiency and effectiveness by conducting a biased ra…