2 citations · 2 across the 2 of their papers we have counts for
2 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.SE2021
Testing Reactive Systems Using Behavioural Programming, a Model Centric Approach
Yeshayahu Weiss
Testing is a significant aspect of software development. As systems become complex and their use becomes critical to the security and the function of society, the need for testing…