Provengo: A Tool Suite for Scenario Driven Model-Based Testing. - Bar-Sinai, Michael; Elyasaf, Achiya; Weiss, Gera; Weiss, Yeshayahu (2023)