{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,12]],"date-time":"2026-08-12T08:27:18Z","timestamp":1786523238732,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,16]]},"DOI":"10.1145\/3731599.3767359","type":"proceedings-article","created":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T16:13:44Z","timestamp":1762532024000},"page":"179-187","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Using Code Coverage to Assess Feature Gaps in MPI Correctness Tool Classification Tests"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1931-773X","authenticated-orcid":false,"given":"Alexander","family":"H\u00fcck","sequence":"first","affiliation":[{"name":"Technical University of Darmstadt, Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7121-7205","authenticated-orcid":false,"given":"Simon","family":"Schwitanski","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3735-9677","authenticated-orcid":false,"given":"Tim","family":"Jammer","sequence":"additional","affiliation":[{"name":"Technical University of Darmstadt, Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0640-8966","authenticated-orcid":false,"given":"Joachim","family":"Jenke","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-9922-3112","authenticated-orcid":false,"given":"Yussur Mustafa","family":"Oraji","sequence":"additional","affiliation":[{"name":"Technical University of Darmstadt, Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2711-3032","authenticated-orcid":false,"given":"Christian","family":"Bischof","sequence":"additional","affiliation":[{"name":"Technical University of Darmstadt, Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,11,15]]},"reference":[{"key":"e_1_3_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2016.68"},{"key":"e_1_3_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/2833157.2833159"},{"key":"e_1_3_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568278"},{"key":"e_1_3_3_3_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45825-5_5"},{"key":"e_1_3_3_3_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2015.30"},{"key":"e_1_3_3_3_7_2","doi-asserted-by":"publisher","unstructured":"Tobias Hilbrich Joachim Protze Martin Schulz Bronis\u00a0R. de Supinski and Matthias\u00a0S. M\u00fcller. 2013. MPI Runtime Error Detection with MUST: Advances in Deadlock Detection. Scientific Programming 21 3-4 (2013) 314971. 10.3233\/SPR-130368","DOI":"10.3233\/SPR-130368"},{"key":"e_1_3_3_3_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11261-4_5"},{"key":"e_1_3_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/3624062.3624091"},{"key":"e_1_3_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3615318.3615322"},{"key":"e_1_3_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/SCW63240.2024.00032"},{"key":"e_1_3_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness.2018.00011"},{"key":"e_1_3_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3555819.3555853"},{"key":"e_1_3_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-73370-3_8"},{"key":"e_1_3_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/SCW63240.2024.00034"},{"key":"e_1_3_3_3_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3624062.3624085"},{"key":"e_1_3_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/3295500.3356176"},{"key":"e_1_3_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness54621.2021.00008"},{"key":"e_1_3_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/3431379.3460652"},{"key":"e_1_3_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98521-3_13"},{"key":"e_1_3_3_3_21_2","first-page":"1639","volume-title":"AIP Conference Proceedings","volume":"1281","author":"Lieber Matthias","year":"2010","unstructured":"Matthias Lieber, Verena Gr\u00fctzun, Ralf Wolke, Matthias\u00a0S. M\u00fcller, and Wolfgang\u00a0E. Nagel. 2010. FD4: A Framework for Highly Scalable Load Balancing and Coupling of Multiphase Models. In AIP Conference Proceedings , Vol.\u00a01281. AIP, 1639\u20131642."},{"key":"e_1_3_3_3_22_2","volume-title":"Clang Static Analyzer","year":"2025","unstructured":"LLVM. 2025. Clang Static Analyzer. https:\/\/clang.llvm.org\/docs\/ClangStaticAnalyzer.html [accessed 01-July-2025]."},{"key":"e_1_3_3_3_23_2","volume-title":"clang-tidy","year":"2025","unstructured":"LLVM. 2025. clang-tidy. https:\/\/clang.llvm.org\/extra\/clang-tidy\/index.html [accessed 01-July-2025]."},{"key":"e_1_3_3_3_24_2","volume-title":"LLVM Code Coverage Mapping Format","year":"2025","unstructured":"LLVM. 2025. LLVM Code Coverage Mapping Format. https:\/\/llvm.org\/docs\/CoverageMappingFormat.html [accessed 01-July-2025]."},{"key":"e_1_3_3_3_25_2","volume-title":"Opaque Pointers","year":"2025","unstructured":"LLVM. 2025. Opaque Pointers. https:\/\/llvm.org\/docs\/OpaquePointers.html [accessed 01-July-2025]."},{"key":"e_1_3_3_3_26_2","volume-title":"Source-based Code Coverage","year":"2025","unstructured":"LLVM. 2025. Source-based Code Coverage. https:\/\/clang.llvm.org\/docs\/SourceBasedCodeCoverage.html [accessed 01-July-2025]."},{"key":"e_1_3_3_3_27_2","volume-title":"MPI: A Message-Passing Interface Standard Version 5.0","author":"Forum Message Passing Interface","year":"2025","unstructured":"Message Passing Interface Forum. 2025. MPI: A Message-Passing Interface Standard Version 5.0. https:\/\/www.mpi-forum.org\/docs\/mpi-5.0\/mpi50-report.pdf [accessed 09-July-2025]."},{"key":"e_1_3_3_3_28_2","volume-title":"OpenMP Application Programming Interface 6.0","author":"Board OpenMP Architecture Review","year":"2024","unstructured":"OpenMP Architecture Review Board. 2024. OpenMP Application Programming Interface 6.0. Specification."},{"key":"e_1_3_3_3_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/2488551.2488555"},{"key":"e_1_3_3_3_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/3624062.3624087"},{"key":"e_1_3_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness56720.2022.00009"},{"key":"e_1_3_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_9"},{"key":"e_1_3_3_3_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/3624062.3624093"},{"key":"e_1_3_3_3_34_2","doi-asserted-by":"publisher","unstructured":"Weiqun Zhang Ann Almgren Vince Beckner John Bell Johannes Blaschke Cy Chan Marcus Day Brian Friesen Kevin Gott Daniel Graves Max Katz Andrew Myers Tan Nguyen Andrew Nonaka Michele Rosso Samuel Williams and Michael Zingale. 2019. AMReX: a framework for block-structured adaptive mesh refinement. Journal of Open Source Software 4 37 (May 2019) 1370. 10.21105\/joss.01370","DOI":"10.21105\/joss.01370"}],"event":{"name":"SC Workshops '25: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis","location":"St Louis MO USA","acronym":"SC Workshops '25","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing"]},"container-title":["Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3731599.3767359","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,12]],"date-time":"2026-08-12T07:30:45Z","timestamp":1786519845000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3731599.3767359"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,15]]},"references-count":33,"alternative-id":["10.1145\/3731599.3767359","10.1145\/3731599"],"URL":"https:\/\/doi.org\/10.1145\/3731599.3767359","relation":{},"subject":[],"published":{"date-parts":[[2025,11,15]]},"assertion":[{"value":"2025-11-15","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}