2 citations · 2 across the 2 of their papers we have counts for
3 papers
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.CY2019
Computer Assisted Access to Justice via Formal Jurisprudence Modeling
Michael Bar-Sinai, Michal Tadjer, Mor Vilozni
This paper discusses an internet-based system for enabling people to self-assess their legal rights in a given situation, and a development methodology for such systems. The assess…
cs.SE2018
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…