59 citations · 62 across the 10 of their papers we have counts for
3 papers · 1 filter
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…