{"id":"https://openalex.org/W4416004504","doi":"https://doi.org/10.1145/3731599.3767359","title":"Using Code Coverage to Assess Feature Gaps in MPI Correctness Tool Classification Tests","display_name":"Using Code Coverage to Assess Feature Gaps in MPI Correctness Tool Classification Tests","publication_year":2025,"publication_date":"2025-11-07","ids":{"openalex":"https://openalex.org/W4416004504","doi":"https://doi.org/10.1145/3731599.3767359"},"language":"en","primary_location":{"id":"doi:10.1145/3731599.3767359","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3731599.3767359","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058127608","display_name":"Alexander H\u00fcck","orcid":"https://orcid.org/0000-0003-1931-773X"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alexander H\u00fcck","raw_affiliation_strings":["Technical University of Darmstadt, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0003-1931-773X","affiliations":[{"raw_affiliation_string":"Technical University of Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065295830","display_name":"Simon Schwitanski","orcid":"https://orcid.org/0000-0001-7121-7205"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Simon Schwitanski","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany"],"raw_orcid":"https://orcid.org/0000-0001-7121-7205","affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088584152","display_name":"Tim Jammer","orcid":"https://orcid.org/0000-0003-3735-9677"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tim Jammer","raw_affiliation_strings":["Technical University of Darmstadt, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0003-3735-9677","affiliations":[{"raw_affiliation_string":"Technical University of Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044273470","display_name":"Joachim Jenke","orcid":"https://orcid.org/0000-0003-0640-8966"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Joachim Jenke","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany"],"raw_orcid":"https://orcid.org/0000-0003-0640-8966","affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106355541","display_name":"Yussur Mustafa Oraji","orcid":"https://orcid.org/0009-0004-9922-3112"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Yussur Mustafa Oraji","raw_affiliation_strings":["Technical University of Darmstadt, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0009-0004-9922-3112","affiliations":[{"raw_affiliation_string":"Technical University of Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020597086","display_name":"Christian Bischof","orcid":"https://orcid.org/0000-0003-2711-3032"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Bischof","raw_affiliation_strings":["Technical University of Darmstadt, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0003-2711-3032","affiliations":[{"raw_affiliation_string":"Technical University of Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.3628612,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"179","last_page":"187"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.3952000141143799,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.3952000141143799,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.22030000388622284,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.07360000163316727,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7448999881744385},{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.6470999717712402},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6468999981880188},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6324999928474426},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5586000084877014},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.5314000248908997},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.49470001459121704},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.414000004529953}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8543000221252441},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7448999881744385},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.6470999717712402},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6468999981880188},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6324999928474426},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5586000084877014},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.5314000248908997},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.49470001459121704},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43860000371932983},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.414000004529953},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.40299999713897705},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.40049999952316284},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.39419999718666077},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.3635999858379364},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.35839998722076416},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.33399999141693115},{"id":"https://openalex.org/C169903167","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Test set","level":2,"score":0.29670000076293945},{"id":"https://openalex.org/C20556612","wikidata":"https://www.wikidata.org/wiki/Q4469374","display_name":"Volume (thermodynamics)","level":2,"score":0.2867000102996826},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2847000062465668},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.27970001101493835},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.27720001339912415},{"id":"https://openalex.org/C58489278","wikidata":"https://www.wikidata.org/wiki/Q1172284","display_name":"Data set","level":2,"score":0.2703000009059906},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.25769999623298645},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.251800000667572}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3731599.3767359","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3731599.3767359","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:158773","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/view/person/H=FCck=3AAlexander=3A=3A.html>","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Konferenzver\u00f6ffentlichung"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1478599539","https://openalex.org/W1565978235","https://openalex.org/W1609394770","https://openalex.org/W1670978437","https://openalex.org/W2063068372","https://openalex.org/W2084779424","https://openalex.org/W2273799252","https://openalex.org/W2488548811","https://openalex.org/W2889141018","https://openalex.org/W2909660786","https://openalex.org/W2944412207","https://openalex.org/W2985025837","https://openalex.org/W3174952775","https://openalex.org/W4200631433","https://openalex.org/W4295786404","https://openalex.org/W4320062112","https://openalex.org/W4386915045","https://openalex.org/W4388556606","https://openalex.org/W4388581026","https://openalex.org/W4388581027","https://openalex.org/W4388581214","https://openalex.org/W4402791342","https://openalex.org/W4406157166","https://openalex.org/W4406164024","https://openalex.org/W6946009422"],"related_works":[],"abstract_inverted_index":{"We":[0,24],"examine":[1],"the":[2,12,40,85,102],"code":[3,13,90,126,144],"generator-based":[4],"MPI":[5,48,64,81,121],"correctness":[6],"benchmark":[7],"MPI-BugBench":[8],"(MBB)":[9],"by":[10,92],"analyzing":[11],"coverage":[14,62],"it":[15],"triggers":[16],"in":[17,57,107,146],"three":[18],"tools:":[19],"MUST,":[20],"PARCOACH,":[21],"and":[22,70,79,123],"clang-tidy.":[23],"present":[25],"our":[26,108],"analysis":[27,103,133],"as":[28,67,75],"a":[29,136],"complement":[30],"to":[31],"MBB\u2019s":[32,58,89],"original":[33],"design,":[34],"which":[35],"is":[36],"based":[37,45],"on":[38,46],"pruning":[39],"potentially":[41],"exhaustive":[42],"test":[43,94,140],"set":[44],"real-world":[47],"usage":[49],"patterns.":[50],"Our":[51],"assessment":[52],"identifies":[53],"two":[54],"key":[55],"limitations":[56],"generated":[59],"tests:":[60],"incomplete":[61],"of":[63,77,88,104],"features,":[65],"such":[66,74],"varying-count":[68,138],"collectives,":[69],"limited":[71,98],"structural":[72],"diversity,":[73],"lack":[76],"loops":[78],"array-based":[80],"handles.":[82],"In":[83],"addition,":[84],"current":[86],"strategy":[87],"generation":[91],"increasing":[93],"volume":[95],"alone":[96],"offers":[97],"benefit":[99],"for":[100],"exercising":[101],"these":[105,112],"tools":[106],"assessment.":[109],"To":[110],"address":[111],"gaps,":[113],"we":[114],"implemented":[115],"34":[116],"new":[117],"tests":[118,129],"covering":[119],"missing":[120],"features":[122],"more":[124],"varied":[125],"structures.":[127],"The":[128],"exercise":[130],"previously":[131],"uncovered":[132],"code,":[134],"where":[135],"single":[137],"collectives":[139],"adds":[141],"770":[142],"covered":[143],"lines":[145],"MUST.":[147]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-11-07T00:00:00"}