Students

Agustín Balestra

Undergraduate Thesis – Co-advisor
Universidad Nacional de Río Cuarto, 2026

Co-advisor for the undergraduate thesis:

LLM-based techniques for improving dynamic specification inference.

This work resulted in the publication:

Improving Dynamic Specification Inference with LLM-Generated Counterexamples, accepted at ICST 2026.

Undergraduate Thesis – Co-advisor
Universidad Nacional de Río Cuarto, 2025

Co-advisor for the undergraduate thesis:

Construction and Integration of Automatic Generators of Complex Inputs in Libraries Supporting Property-Based Testing.

The thesis was successfully defended and led to the student’s graduation.