4 citations · 4 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.SE2025
Automata Models for Effective Bug Pattern Description
Tom Yaacov, Gera Weiss, Gal Amram +1
Debugging complex systems is a crucial yet time-consuming task. This paper presents the use of automata learning and testing techniques to obtain concise and informative bug descri…
cs.SE2025
Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods
Tom Yaacov, Gera Weiss, Adiel Ashrov +2
We explore and evaluate the interactions between Behavioral Programming (BP) and a range of Artificial Intelligence (AI) and Formal Methods (FM) techniques. Our goal is to demonstr…