Students

Agustín Balestra

Undergraduate Thesis – Advisor
Universidad Nacional de Río Cuarto, 2026

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.

Augusto Fungo

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

Co-advisor of an undergraduate thesis by Augusto Fungo on object generation techniques for property-based testing.

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