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.SE2024
Test Oracle Automation in the era of LLMs
Facundo Molina, Alessandra Gorla
The effectiveness of a test suite in detecting faults highly depends on the correctness and completeness of its test oracles. Large Language Models (LLMs) have already demonstrated…