2 papers
cs.SE2026
Improving Dynamic Specification Inference with LLM-Generated Counterexamples
Agustín Balestra, Agustín Nolasco, Facundo Molina +3
Contract assertions, such as preconditions, postconditions, and invariants, play a crucial role in software development, enabling applications such as program verification, test ge…
cs.SE2023
Specification Inference for Evolving Systems
Renzo Degiovanni, Facundo Molina, Agustin Nolasco +2
In this paper, we propose an assertion-based approach to capture software evolution, through the notion of commit-relevant specification. A commit-relevant specification summarises…