Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP

Charles Moloney, Robert Dyer, Elena Sherman

The SV-COMP competition provides a state-of-the-art platform for evaluating software verification tools on a standardized set of verification tasks. Consequently, verifier developm…