APA (7th ed.) Citation

von Arx, T., Mündler, N., Vero, M., Baader, M., & Vechev, M. (2025). AutoBaxBuilder: Bootstrapping Code Security Benchmarking.

Chicago Style (17th ed.) Citation

von Arx, Tobias, Niels Mündler, Mark Vero, Maximilian Baader, and Martin Vechev. AutoBaxBuilder: Bootstrapping Code Security Benchmarking. 2025.

MLA (9th ed.) Citation

von Arx, Tobias, et al. AutoBaxBuilder: Bootstrapping Code Security Benchmarking. 2025.