Sibyl Datasets (Q6726036)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Sibyl Datasets |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sibyl Datasets |
Dataset published at Zenodo repository. |
Statements
This upload includes the three datasets used in the experimental evaluation of the algorithm selector Sibyl for the submission Sibyl: Improving Software Engineering Tools with SMT Selection. We also include the pre-comupted graphs. The artifact for this project can be found on Software Heritage: https://archive.softwareheritage.org/swh:1:dir:bc493ad1d1631b4ae92b007340fdba3df4518526.
0 references
27 January 2023
0 references
2.2.1
0 references
