research
∙
11/09/2022
Dynamic Slicing by On-demand Re-execution
In this paper, we propose a novel approach that aims to offer an alterna...
share
research
∙
11/08/2022
Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model
Dynamic slicing techniques compute program dependencies to find all stat...
research
∙
10/07/2022
Scaling Directed Controller Synthesis via Reinforcement Learning
Directed Controller Synthesis technique finds solutions for the non-bloc...
research
∙
09/11/2020