APA (7th ed.) Citation

Balestra, A., Nolasco, A., Molina, F., Garbervetsky, D., Degiovanni, R., & Aguirre, N. (2026). Improving Dynamic Specification Inference with LLM-Generated Counterexamples.

Chicago Style (17th ed.) Citation

Balestra, Agustín, Agustín Nolasco, Facundo Molina, Diego Garbervetsky, Renzo Degiovanni, and Nazareno Aguirre. Improving Dynamic Specification Inference with LLM-Generated Counterexamples. 2026.

MLA (9th ed.) Citation

Balestra, Agustín, et al. Improving Dynamic Specification Inference with LLM-Generated Counterexamples. 2026.