@misc{indiciae8baab7868099,
  title = {Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP},
  author = {Charles Moloney and Robert Dyer and Elena Sherman},
  year = {2026},
  url = {https://arxiv.org/abs/2602.04786},
  note = {Source identifier: 2602.04786}
}