Showing cs.SEShow all
3 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
Black-Box Bug-Amplification for Multithreaded Software
Yeshayahu Weiss, Gal Amram, Achiya Elyasaf +3
Bugs, especially those in concurrent systems, are often hard to reproduce because they manifest only under rare conditions. Testers frequently encounter failures that occur only un…
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…