6 papers
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…
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…
A Behavior-Based Knowledge Representation Improves Prediction of Players' Moves in Chess by 25%
Benny Skidanov, Daniel Erbesfeld, Gera Weiss +1
Predicting player behavior in strategic games, especially complex ones like chess, presents a significant challenge. The difficulty arises from several factors. First, the sheer nu…
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…
Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
Tom Yaacov, Achiya Elyasaf, Gera Weiss
One of the benefits of using executable specifications such as Behavioral Programming (BP) is the ability to align the system implementation with its requirements. This is facilita…
Evolving Assembly Code in an Adversarial Environment
Irina Maliukov, Gera Weiss, Oded Margalit +1
In this work, we evolve Assembly code for the CodeGuru competition. The goal is to create a survivor -- an Assembly program that runs the longest in shared memory, by resisting att…