@misc{indiciae6f4dc8a6a2d6,
  title = {Provengo: A Tool Suite for Scenario Driven Model-Based Testing},
  author = {Michael Bar-Sinai and Achiya Elyasaf and Gera Weiss and Yeshayahu Weiss},
  year = {2023},
  url = {https://arxiv.org/abs/2308.15938},
  note = {Source identifier: 2308.15938}
}