4 citations · 7 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
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.SE2018★ 1 cited
BPjs --- a framework for modeling reactive systems using a scripting language and BP
Michael Bar-Sinai, Gera Weiss, Reut Shmuel
We describe some progress towards a new common framework for model driven engineering, based on behavioral programming. The tool we have developed unifies almost all of the work do…