59 citations · 62 across the 10 of their papers we have counts for
12 papers
Graphical-Probabilistic Modeling of Generative Flows in LLM-Native Software Systems
Víctor A. Braberman, Flavia Bonomo-Braberman
Engineering LLM-native software remains a challenging and immature field. Current practice is largely exploratory, relying on experimentation and heuristic techniques such as promp…
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…
Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control
Hernan Gagliardi, Victor Braberman, Sebastian Uchitel
We present a compositional approach to controller synthesis of discrete event system controllers with linear temporal logic (LTL) goals. We exploit the modular structure of the pla…
Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
Juan Manuel Baldonado, Flavia Bonomo-Braberman, Víctor Adrián Braberman
Ensuring the reliability and verifiability of large language model (LLM)-enabled systems remains a significant challenge in software engineering. We propose a probabilistic framewo…
Generative transformations and patterns in LLM-native approaches for software verification and falsification
Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous +3
The emergence of prompting as the dominant paradigm for leveraging Large Language Models (LLMs) has led to a proliferation of LLM-native software, where application behavior arises…
Dynamic Slicing by On-demand Re-execution
Ivan Postolski, Victor Braberman, Diego Garbervetsky +1
In this paper, we propose a novel approach that aims to offer an alternative to the prevalent paradigm to dynamic slicing construction. Dynamic slicing requires dynamic data and co…
Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model
Alexis Soifer, Diego Garbervetsky, Victor Braberman +1
Dynamic slicing techniques compute program dependencies to find all statements that affect the value of a variable at a program point for a specific execution. Despite their many p…
Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach
Tomás Delgado, Marco Sánchez Sorondo, Víctor Braberman +1
Controller synthesis is in essence a case of model-based planning for non-deterministic environments in which plans (actually ''strategies'') are meant to preserve system goals ind…
Synthesis of Run-To-Completion Controllers for Discrete Event Systems
Yehia Abd Alrahman, Victor Braberman, Nicolás D'Ippolito +2
A controller for a Discrete Event System must achieve its goals despite that its environment being capable of resolving race conditions between controlled and uncontrolled events.A…
Verification Coverage
Rodrigo Castaño, Victor Braberman, Diego Garbervetsky +1
Software Model Checkers have shown outstanding performance improvements in recent times. Moreover, for specific use cases, formal verification techniques have shown to be highly ef…
Model Checker Execution Reports
Rodrigo Castaño, Victor Braberman, Diego Garbervetsky +1
Software model checking constitutes an undecidable problem and, as such, even an ideal tool will in some cases fail to give a conclusive answer. In practice, software model checker…
MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation
Victor Braberman, Nicolas D'Ippolito, Jeff Kramer +2
An architectural approach to self-adaptive systems involves runtime change of system configuration (i.e., the system's components, their bindings and operational parameters) and be…