conf.researchr.org / Agustín Balestra
Not registered as user
Name:Agustín Balestra
Country:Argentina
Affiliation:University of Rio Cuarto, Argentina
Contributions
2026
ICST
- Author of Improving Dynamic Specification Inference with LLM-Generated Counterexamples within the Research Papers-track
- Author of Improving the Accuracy of Dynamic Specification Inference within the Doctoral Symposium-track
- Author of Improving Dynamic Specification Inference with LLM-Generated Counterexamples within the Artifact Evaluation-track