2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.SE2024
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…
cs.SE2023★ 2 cited
Provengo: A Tool Suite for Scenario Driven Model-Based Testing
Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss +1
We present Provengo, a comprehensive suite of tools designed to facilitate the implementation of Scenario-Driven Model-Based Testing (SDMBT), an innovative approach that utilizes s…
cs.NE2023
A Melting Pot of Evolution and Learning
Moshe Sipper, Achiya Elyasaf, Tomer Halperin +5
We survey eight recent works by our group, involving the successful blending of evolutionary algorithms with machine learning and deep learning: 1. Binary and Multinomial Classific…