Agustín Balestra
Date:
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.