{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:02:03Z","timestamp":1750309323899,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T00:00:00Z","timestamp":1712534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["PID2019-107255GB-C21"],"award-info":[{"award-number":["PID2019-107255GB-C21"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["772773"],"award-info":[{"award-number":["772773"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,8]]},"DOI":"10.1145\/3605098.3636107","type":"proceedings-article","created":{"date-parts":[[2024,5,21]],"date-time":"2024-05-21T17:59:16Z","timestamp":1716314356000},"page":"452-453","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Increasing Testing Robustness of GPU Software in Embedded Critical Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1469-2514","authenticated-orcid":false,"given":"Javier","family":"Barrera","sequence":"first","affiliation":[{"name":"Barcelona Supercomputing Center (BSC) and Universitat Politecnica de Catalunya (UPC), Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9751-1058","authenticated-orcid":false,"given":"Leonidas","family":"Kosmidis","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC), Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1886-2931","authenticated-orcid":false,"given":"Enrico","family":"Mezzetti","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC), Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7951-4028","authenticated-orcid":false,"given":"Jaume","family":"Abella","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC), Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3344-376X","authenticated-orcid":false,"given":"Francisco J.","family":"Cazorla","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC), Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"International Organization for Standardization. 2009. ISO\/DIS 26262. Road Vehicles - Functional Safety."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"A. Leung et al. 2012. Verifying GPU Kernels by Test Amplification. In PLDI (Beijing China) (PLDI '12). 383--394.","DOI":"10.1145\/2345156.2254110"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"M. M. Trompouki et al. 2017. An open benchmark implementation for multi-CPU multi-GPU pedestrian detection in automotive systems. In 2017 ICCAD. 305--312.","DOI":"10.1109\/ICCAD.2017.8203793"},{"volume-title":"On the MC\/DC Code Coverage of Vulkan SC GPU Code. In 2022 IEEE\/AIAA 41st Digital Avionics Systems Conference (DASC). 1--9.","author":"Martin J.L.","key":"e_1_3_2_1_4_1","unstructured":"J.L. Martin Aleman et al. 2022. On the MC\/DC Code Coverage of Vulkan SC GPU Code. In 2022 IEEE\/AIAA 41st Digital Avionics Systems Conference (DASC). 1--9."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"C. Peng and A. Rajan. 2019. CLTestCheck: Measuring Test Effectiveness for GPU Kernels. In Fundamental Approaches to Software Engineering R. H\u00e4hnle and W. van der Aalst (Eds.). Springer International Publishing Cham 315--331.","DOI":"10.1007\/978-3-030-16722-6_19"},{"key":"e_1_3_2_1_6_1","unstructured":"RTCA and EUROCAE. 2011. DO-178C \/ ED-12C Software Considerations in Airborne Systems and Equipment Certification."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"H. Tabani et al. 2020. A Cross-Layer Review of Deep Learning Frameworks to Ease Their Optimization and Reuse. In ISORC. IEEE 144--145.","DOI":"10.1109\/ISORC49007.2020.00030"},{"key":"e_1_3_2_1_8_1","unstructured":"Vector. 2018. Coffee with Vector: Code Coverage for CUDA Code using VectorCAST\/QA. https:\/\/www.vector.com\/es\/es\/eventos\/global-de-en\/webinar-recordings\/2021\/coffee-with-vector-code-coverage-for-cuda-code-using-vectorcastqa."}],"event":{"name":"SAC '24: 39th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Avila Spain","acronym":"SAC '24"},"container-title":["Proceedings of the 39th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605098.3636107","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3605098.3636107","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:00Z","timestamp":1750291440000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605098.3636107"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,8]]},"references-count":8,"alternative-id":["10.1145\/3605098.3636107","10.1145\/3605098"],"URL":"https:\/\/doi.org\/10.1145\/3605098.3636107","relation":{},"subject":[],"published":{"date-parts":[[2024,4,8]]},"assertion":[{"value":"2024-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}