Publications

You can also find my articles on my Google Scholar profile.

Improving Dynamic Specification Inference with LLM-Generated Counterexamples

Agustín Balestra, Agustín Nolasco, Facundo Molina, Diego Garbervetsky, Renzo Degiovanni, Nazareno Aguirre
IEEE International Conference on Software Testing, Verification and Validation (ICST), 2026

Accepted at ICST 2026.

This work studies how large language models (LLMs) can generate counterexamples that improve the precision of dynamic specification inference techniques.

Abstraction-Aware Inference of Metamorphic Relations

Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastian Uchitel, Nazareno Aguirre, Marcelo F. Frias
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2024

Metamorphic testing is a valuable technique that helps address the oracle problem in software testing. This paper introduces MemoRIA, a technique for automatically inferring metamorphic relations using object protocol abstractions, fuzzing, and runtime validation.

Specification Inference for Evolving Systems

Renzo Degiovanni, Facundo Molina, Agustín Nolasco, Nazareno Aguirre, Mike Papadakis
arXiv preprint, 2023

This paper explores techniques for automatically inferring behavioral specifications for evolving software systems.