Please use this identifier to cite or link to this item:
http://hdl.handle.net/10609/144708
Title: | User-driven diverse scenario exploration in model finders |
Author: | Clarisó, Robert Cabot, Jordi |
Others: | Universitat Oberta de Catalunya |
Citation: | Clarisó, R. & Cabot, J. (2022). User-driven diverse scenario exploration in model finders. Science of Computer Programming, 215, 1-20. doi: 10.1016/j.scico.2021.102745 |
Abstract: | Model finders can build instances of declarative specifications that satisfy a set of correctness constraints. Some model finders ensure some degree of diversity among the instances they compute. Nevertheless, each model finder uses its own definition of diversity, that may or may not match designer intent. In this paper, we propose a procedure that enables designers to capture the desired notion of diversity they are looking for. Using a simple domain-specific language, they can specify what elements in the specification are relevant when comparing the differences between two instances. This information can then be used to make any model finder diversity-aware while using it as a black box. As a proof of concept, this approach has been implemented on top of the Alloy Analyzer. |
Keywords: | model-driven engineering verification and validation testing clustering diversity |
DOI: | http://doi.org/10.1016/j.scico.2021.102745 |
Document type: | info:eu-repo/semantics/article |
Version: | info:eu-repo/semantics/publishedVersion |
Issue Date: | 9-Nov-2021 |
Publication license: | https://creativecommons.org/licenses/by/4.0/ |
Appears in Collections: | Articles cientÍfics Articles |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
1-s2.0-S0167642321001386-main.pdf | 651,24 kB | Adobe PDF | View/Open |
Share:
This item is licensed under a Creative Commons License