Data · dataset · 2023
Quantification of Correctness with Palladio and KeY: Case Study Data
Listed in RADAR and RADAR4Memory — shown once because both records carry DOI 10.35097/1274
In our report, we described a case study where we evaluate our approach for correctness quantification using Palladio and KeY.
Description
Here, we publish the corresponding Palladio Component Model files as well as the generated source code, in order to make them publicly available.
Links
Where it is published
- DOI doi.org/10.35097/1274 ↗
DOI / persistent id · from radar service eu de
Catalogue records · 1
- OAI-PMH record radar-service.eu/oai/OAIHandler?verb=GetRecord&metadataPrefix=oai_dc&identifier… ↗
metadata API · from radar service eu de
Topics
Provenance · 2 source records, 9 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| RADAR | 10.35097/1274 | 10 d ago | JSON v1 |
| RADAR4Memory | 10.35097/1274 | 10 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · radar service eu de | connector:radar_service_eu_de@1.0.0 | |
| concepts[field].local:field:computer-science-ai | mapping · radar4memory radar service eu | connector:radar4memory_radar_service_eu@1.0.0 | |
| concepts[field].local:field:computer-science-ai | mapping · radar service eu de | connector:radar_service_eu_de@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · radar service eu de | connector:radar_service_eu_de@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · radar4memory radar service eu | connector:radar4memory_radar_service_eu@1.0.0 | |
| description | source · radar service eu de | connector:radar_service_eu_de@1.0.0 | /metadata/dc/description |
| license | source · radar service eu de | connector:radar_service_eu_de@1.0.0 | /metadata/dc/rights |
| publication_date | source · radar service eu de | connector:radar_service_eu_de@1.0.0 | |
| title | source · radar service eu de | connector:radar_service_eu_de@1.0.0 | /metadata/dc/title |