Showing 2026Show all
2 papers · 1 filter
cs.FL2026
Minimality of Random Moore Automata under Prefix-Dependent Congruences
Matías Carrasco, Sergio Yovine
We study prefix-dependent congruences for random deterministic transition systems with state outputs. In this setting, the admissible continuations used to compare two states may d…
cs.SE2026
TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
Pepe Alonso, Sergio Yovine, Victor A. Braberman
AI coding agents can resolve real-world software issues, yet they frequently introduce regressions -- breaking tests that previously passed. Current benchmarks focus almost exclusi…