@inproceedings{c1aff631036c40e6ac61778ccc90f70a,
title = "Provengo: A Tool Suite for Scenario Driven Model-Based Testing",
abstract = "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 scenarios to construct a model encompassing the user's perspective and the system's business value while also defining the desired outcomes. With the assistance of Provengo, testers gain the ability to effortlessly create natural user stories and seamlessly integrate them into a model capable of generating effective tests. The demonstration illustrates how SDMBT effectively addresses the bootstrapping challenge commonly encountered in model-based testing (MBT) by enabling incremental development, starting from simple models and gradually augmenting them with additional stories.",
author = "Michael Bar-Sinai and Achiya Elyasaf and Gera Weiss and Yeshayahu Weiss",
note = "Publisher Copyright: {\textcopyright} 2023 IEEE.; 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 ; Conference date: 11-09-2023 Through 15-09-2023",
year = "2023",
month = jan,
day = "1",
doi = "10.1109/ASE56229.2023.00146",
language = "English",
series = "Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023",
publisher = "Institute of Electrical and Electronics Engineers",
pages = "2062--2065",
booktitle = "Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023",
address = "United States",
}