Changes
On December 2, 2024 at 11:42:30 PM UTC, admin:
-
Changed value of field
doi_status
toTrue
in Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning -
Changed value of field
doi_date_published
to2024-12-02
in Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning -
Added resource Original Metadata to Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning
f | 1 | { | f | 1 | { |
2 | "access_rights": "", | 2 | "access_rights": "", | ||
3 | "author": "Thanh Le-Cong", | 3 | "author": "Thanh Le-Cong", | ||
4 | "author_email": "", | 4 | "author_email": "", | ||
5 | "citation": [], | 5 | "citation": [], | ||
6 | "creator_user_id": "17755db4-395a-4b3b-ac09-e8e3484ca700", | 6 | "creator_user_id": "17755db4-395a-4b3b-ac09-e8e3484ca700", | ||
7 | "defined_in": "", | 7 | "defined_in": "", | ||
8 | "doi": "10.57702/tc2z4wrw", | 8 | "doi": "10.57702/tc2z4wrw", | ||
n | 9 | "doi_date_published": null, | n | 9 | "doi_date_published": "2024-12-02", |
10 | "doi_publisher": "TIB", | 10 | "doi_publisher": "TIB", | ||
n | 11 | "doi_status": false, | n | 11 | "doi_status": true, |
12 | "domain": "https://service.tib.eu/ldmservice", | 12 | "domain": "https://service.tib.eu/ldmservice", | ||
13 | "extra_authors": [ | 13 | "extra_authors": [ | ||
14 | { | 14 | { | ||
15 | "extra_author": "Duc-Minh Luong", | 15 | "extra_author": "Duc-Minh Luong", | ||
16 | "orcid": "" | 16 | "orcid": "" | ||
17 | }, | 17 | }, | ||
18 | { | 18 | { | ||
19 | "extra_author": "Xuan Bach D. Le", | 19 | "extra_author": "Xuan Bach D. Le", | ||
20 | "orcid": "" | 20 | "orcid": "" | ||
21 | }, | 21 | }, | ||
22 | { | 22 | { | ||
23 | "extra_author": "David Lo", | 23 | "extra_author": "David Lo", | ||
24 | "orcid": "" | 24 | "orcid": "" | ||
25 | }, | 25 | }, | ||
26 | { | 26 | { | ||
27 | "extra_author": "Nhat-Hoa Tran", | 27 | "extra_author": "Nhat-Hoa Tran", | ||
28 | "orcid": "" | 28 | "orcid": "" | ||
29 | }, | 29 | }, | ||
30 | { | 30 | { | ||
31 | "extra_author": "Bui Quang-Huy", | 31 | "extra_author": "Bui Quang-Huy", | ||
32 | "orcid": "" | 32 | "orcid": "" | ||
33 | }, | 33 | }, | ||
34 | { | 34 | { | ||
35 | "extra_author": "Quyet-Thang Huynh", | 35 | "extra_author": "Quyet-Thang Huynh", | ||
36 | "orcid": "" | 36 | "orcid": "" | ||
37 | } | 37 | } | ||
38 | ], | 38 | ], | ||
39 | "groups": [ | 39 | "groups": [ | ||
40 | { | 40 | { | ||
41 | "description": "", | 41 | "description": "", | ||
42 | "display_name": "Automated Program Repair", | 42 | "display_name": "Automated Program Repair", | ||
43 | "id": "b6b72dc4-b0c1-413b-a18e-63d838cbccb1", | 43 | "id": "b6b72dc4-b0c1-413b-a18e-63d838cbccb1", | ||
44 | "image_display_url": "", | 44 | "image_display_url": "", | ||
45 | "name": "automated-program-repair", | 45 | "name": "automated-program-repair", | ||
46 | "title": "Automated Program Repair" | 46 | "title": "Automated Program Repair" | ||
47 | } | 47 | } | ||
48 | ], | 48 | ], | ||
49 | "id": "2dccb739-72fd-4d0b-99a5-026dc42e1085", | 49 | "id": "2dccb739-72fd-4d0b-99a5-026dc42e1085", | ||
50 | "isopen": false, | 50 | "isopen": false, | ||
51 | "landing_page": "https://doi.org/10.5281/zenodo.7699142", | 51 | "landing_page": "https://doi.org/10.5281/zenodo.7699142", | ||
52 | "license_title": null, | 52 | "license_title": null, | ||
53 | "link_orkg": "", | 53 | "link_orkg": "", | ||
54 | "metadata_created": "2024-12-02T23:42:28.656198", | 54 | "metadata_created": "2024-12-02T23:42:28.656198", | ||
n | 55 | "metadata_modified": "2024-12-02T23:42:28.656204", | n | 55 | "metadata_modified": "2024-12-02T23:42:29.240423", |
56 | "name": | 56 | "name": | ||
57 | ed-patch-correctness-assessment-via-semantic-and-syntactic-reasoning", | 57 | ed-patch-correctness-assessment-via-semantic-and-syntactic-reasoning", | ||
58 | "notes": "Automated program repair (APR) has been gaining ground | 58 | "notes": "Automated program repair (APR) has been gaining ground | ||
59 | recently. However, a signi\ufb01cant challenge that still remains is | 59 | recently. However, a signi\ufb01cant challenge that still remains is | ||
60 | patch over\ufb01tting, in which APR-generated patches plausibly pass | 60 | patch over\ufb01tting, in which APR-generated patches plausibly pass | ||
61 | the validation test suite but fail to generalize.", | 61 | the validation test suite but fail to generalize.", | ||
n | 62 | "num_resources": 0, | n | 62 | "num_resources": 1, |
63 | "num_tags": 5, | 63 | "num_tags": 5, | ||
64 | "organization": { | 64 | "organization": { | ||
65 | "approval_status": "approved", | 65 | "approval_status": "approved", | ||
66 | "created": "2024-11-25T12:11:38.292601", | 66 | "created": "2024-11-25T12:11:38.292601", | ||
67 | "description": "", | 67 | "description": "", | ||
68 | "id": "079d46db-32df-4b48-91f3-0a8bc8f69559", | 68 | "id": "079d46db-32df-4b48-91f3-0a8bc8f69559", | ||
69 | "image_url": "", | 69 | "image_url": "", | ||
70 | "is_organization": true, | 70 | "is_organization": true, | ||
71 | "name": "no-organization", | 71 | "name": "no-organization", | ||
72 | "state": "active", | 72 | "state": "active", | ||
73 | "title": "No Organization", | 73 | "title": "No Organization", | ||
74 | "type": "organization" | 74 | "type": "organization" | ||
75 | }, | 75 | }, | ||
76 | "owner_org": "079d46db-32df-4b48-91f3-0a8bc8f69559", | 76 | "owner_org": "079d46db-32df-4b48-91f3-0a8bc8f69559", | ||
77 | "private": false, | 77 | "private": false, | ||
78 | "relationships_as_object": [], | 78 | "relationships_as_object": [], | ||
79 | "relationships_as_subject": [], | 79 | "relationships_as_subject": [], | ||
t | 80 | "resources": [], | t | 80 | "resources": [ |
81 | { | ||||
82 | "cache_last_updated": null, | ||||
83 | "cache_url": null, | ||||
84 | "created": "2024-12-03T00:20:35", | ||||
85 | "data": [ | ||||
86 | "dcterms:title", | ||||
87 | "dcterms:accessRights", | ||||
88 | "dcterms:creator", | ||||
89 | "dcterms:description", | ||||
90 | "dcterms:issued", | ||||
91 | "dcterms:language", | ||||
92 | "dcterms:identifier", | ||||
93 | "dcat:theme", | ||||
94 | "dcterms:type", | ||||
95 | "dcat:keyword", | ||||
96 | "dcat:landingPage", | ||||
97 | "dcterms:hasVersion", | ||||
98 | "dcterms:format", | ||||
99 | "mls:task" | ||||
100 | ], | ||||
101 | "description": "The json representation of the dataset with its | ||||
102 | distributions based on DCAT.", | ||||
103 | "format": "JSON", | ||||
104 | "hash": "", | ||||
105 | "id": "d4f98ce2-b693-4193-99f8-ce481e1bde9b", | ||||
106 | "last_modified": "2024-12-02T23:42:29.232693", | ||||
107 | "metadata_modified": "2024-12-02T23:42:29.243292", | ||||
108 | "mimetype": "application/json", | ||||
109 | "mimetype_inner": null, | ||||
110 | "name": "Original Metadata", | ||||
111 | "package_id": "2dccb739-72fd-4d0b-99a5-026dc42e1085", | ||||
112 | "position": 0, | ||||
113 | "resource_type": null, | ||||
114 | "size": 1029, | ||||
115 | "state": "active", | ||||
116 | "url": | ||||
117 | resource/d4f98ce2-b693-4193-99f8-ce481e1bde9b/download/metadata.json", | ||||
118 | "url_type": "upload" | ||||
119 | } | ||||
120 | ], | ||||
81 | "services_used_list": "", | 121 | "services_used_list": "", | ||
82 | "state": "active", | 122 | "state": "active", | ||
83 | "tags": [ | 123 | "tags": [ | ||
84 | { | 124 | { | ||
85 | "display_name": "code representations", | 125 | "display_name": "code representations", | ||
86 | "id": "cd994e94-6c30-44e3-b5c9-b0e59da8d24e", | 126 | "id": "cd994e94-6c30-44e3-b5c9-b0e59da8d24e", | ||
87 | "name": "code representations", | 127 | "name": "code representations", | ||
88 | "state": "active", | 128 | "state": "active", | ||
89 | "vocabulary_id": null | 129 | "vocabulary_id": null | ||
90 | }, | 130 | }, | ||
91 | { | 131 | { | ||
92 | "display_name": "patch correctness", | 132 | "display_name": "patch correctness", | ||
93 | "id": "5e71db09-cf37-4d95-a669-8471ddea5bc3", | 133 | "id": "5e71db09-cf37-4d95-a669-8471ddea5bc3", | ||
94 | "name": "patch correctness", | 134 | "name": "patch correctness", | ||
95 | "state": "active", | 135 | "state": "active", | ||
96 | "vocabulary_id": null | 136 | "vocabulary_id": null | ||
97 | }, | 137 | }, | ||
98 | { | 138 | { | ||
99 | "display_name": "program invariants", | 139 | "display_name": "program invariants", | ||
100 | "id": "2153137b-a268-4dd3-8ff3-4ddf4621917e", | 140 | "id": "2153137b-a268-4dd3-8ff3-4ddf4621917e", | ||
101 | "name": "program invariants", | 141 | "name": "program invariants", | ||
102 | "state": "active", | 142 | "state": "active", | ||
103 | "vocabulary_id": null | 143 | "vocabulary_id": null | ||
104 | }, | 144 | }, | ||
105 | { | 145 | { | ||
106 | "display_name": "semantic reasoning", | 146 | "display_name": "semantic reasoning", | ||
107 | "id": "a930c833-9769-46d8-aec6-0d5f6929e6d4", | 147 | "id": "a930c833-9769-46d8-aec6-0d5f6929e6d4", | ||
108 | "name": "semantic reasoning", | 148 | "name": "semantic reasoning", | ||
109 | "state": "active", | 149 | "state": "active", | ||
110 | "vocabulary_id": null | 150 | "vocabulary_id": null | ||
111 | }, | 151 | }, | ||
112 | { | 152 | { | ||
113 | "display_name": "syntactic reasoning", | 153 | "display_name": "syntactic reasoning", | ||
114 | "id": "2c971da4-912d-440c-b94e-1a2c9862fd43", | 154 | "id": "2c971da4-912d-440c-b94e-1a2c9862fd43", | ||
115 | "name": "syntactic reasoning", | 155 | "name": "syntactic reasoning", | ||
116 | "state": "active", | 156 | "state": "active", | ||
117 | "vocabulary_id": null | 157 | "vocabulary_id": null | ||
118 | } | 158 | } | ||
119 | ], | 159 | ], | ||
120 | "title": "Invalidator: Automated Patch Correctness Assessment via | 160 | "title": "Invalidator: Automated Patch Correctness Assessment via | ||
121 | Semantic and Syntactic Reasoning", | 161 | Semantic and Syntactic Reasoning", | ||
122 | "type": "dataset", | 162 | "type": "dataset", | ||
123 | "version": "" | 163 | "version": "" | ||
124 | } | 164 | } |