{"id":"https://openalex.org/W7163995546","doi":"https://doi.org/10.48550/arxiv.2606.08269","title":"Minimum Complete MR Subsets under Semantic-Mutation Fault Models: A Support-Set Domination Boundary","display_name":"Minimum Complete MR Subsets under Semantic-Mutation Fault Models: A Support-Set Domination Boundary","publication_year":2026,"publication_date":"2026-06-06","ids":{"openalex":"https://openalex.org/W7163995546","doi":"https://doi.org/10.48550/arxiv.2606.08269"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.08269","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.08269","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.08269","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138231164","display_name":"Meng Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Meng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138264931","display_name":"Xiaohua Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Xiaohua","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138219033","display_name":"Jie Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Jie","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5138224699","display_name":"Shiyu Yan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yan, Shiyu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.45019999146461487,"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.45019999146461487,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.15970000624656677,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.07190000265836716,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/boundary","display_name":"Boundary (topology)","score":0.5737000107765198},{"id":"https://openalex.org/keywords/minification","display_name":"Minification","score":0.5618000030517578},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5522000193595886},{"id":"https://openalex.org/keywords/logarithm","display_name":"Logarithm","score":0.5375000238418579},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5077000260353088},{"id":"https://openalex.org/keywords/row","display_name":"Row","score":0.4456999897956848},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.428600013256073},{"id":"https://openalex.org/keywords/greedy-algorithm","display_name":"Greedy algorithm","score":0.38670000433921814},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.3546999990940094}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6410999894142151},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.5737000107765198},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.5618000030517578},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5522000193595886},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.5375000238418579},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5077000260353088},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.49059998989105225},{"id":"https://openalex.org/C135598885","wikidata":"https://www.wikidata.org/wiki/Q1366302","display_name":"Row","level":2,"score":0.4456999897956848},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.428600013256073},{"id":"https://openalex.org/C51823790","wikidata":"https://www.wikidata.org/wiki/Q504353","display_name":"Greedy algorithm","level":2,"score":0.38670000433921814},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.3546999990940094},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.3449000120162964},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3327000141143799},{"id":"https://openalex.org/C128107574","wikidata":"https://www.wikidata.org/wiki/Q182003","display_name":"Injective function","level":2,"score":0.314300000667572},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.30399999022483826},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2930000126361847},{"id":"https://openalex.org/C102607178","wikidata":"https://www.wikidata.org/wiki/Q102761","display_name":"Least common multiple","level":2,"score":0.29260000586509705},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.29089999198913574},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.2856000065803528},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2700999975204468},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.2687000036239624},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.26649999618530273},{"id":"https://openalex.org/C2776879701","wikidata":"https://www.wikidata.org/wiki/Q25048660","display_name":"Multiple kernel learning","level":4,"score":0.2662000060081482},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.26089999079704285},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.26080000400543213},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.26030001044273376},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.25690001249313354},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.25619998574256897},{"id":"https://openalex.org/C104140500","wikidata":"https://www.wikidata.org/wiki/Q2088159","display_name":"Row and column spaces","level":3,"score":0.2533999979496002},{"id":"https://openalex.org/C151637689","wikidata":"https://www.wikidata.org/wiki/Q5318064","display_name":"Dwell time","level":2,"score":0.2524000108242035},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.25130000710487366}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.08269","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.08269","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.08269","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.08269","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"asks":[2],"when":[3,47,53],"MR-subset":[4],"selection":[5],"is":[6,40,50,57,61,85,112],"a":[7,20,27,41,68,99,114],"real":[8],"mutant-level":[9,54],"requirement":[10],"for":[11,137],"minimum":[12],"complete":[13],"evidence":[14],"in":[15],"metamorphic":[16],"testing":[17],"rather":[18,154],"than":[19,155],"coarse":[21],"fault-class":[22,79],"counting":[23],"artifact.":[24],"We":[25],"define":[26],"layer-relative":[28],"completeness":[29],"criterion":[30],"over":[31,87],"an":[32,102,107],"admitted":[33],"mutant--draw":[34],"coverage":[35,90],"universe.":[36],"The":[37,59,81],"central":[38],"result":[39],"support-set":[42],"domination":[43],"boundary:":[44],"it":[45],"states":[46],"class-level":[48],"abstraction":[49],"safe":[51],"and":[52,72,106,125,134,141],"MR":[55],"minimization":[56,124],"necessary.":[58],"boundary":[60,139],"governed":[62],"by":[63],"kill-signature":[64],"heterogeneity,":[65],"which":[66],"yields":[67],"scoped":[69],"fault-signature":[70],"kernel":[71],"separates":[73],"the":[74,88,94,138],"MR-specific":[75],"question":[76],"from":[77],"ordinary":[78],"counting.":[80],"resulting":[82],"Min-MR-Complete":[83],"problem":[84],"Set-Cover-equivalent":[86],"selected":[89],"universe,":[91],"giving":[92],"NP-hardness,":[93],"classical":[95],"logarithmic":[96],"approximation":[97],"boundary,":[98],"greedy":[100],"approximation,":[101],"exact":[103],"ILP":[104],"formulation,":[105],"SMS-rank":[108],"upper":[109],"bound":[110,116],"that":[111],"not":[113,143],"lower":[115],"or":[117],"tight":[118],"predictor.":[119],"Artifact":[120],"lanes":[121],"provide":[122],"lane-local":[123],"audit":[126],"evidence;":[127],"separately,":[128],"route":[129],"witnesses":[130],"instantiate":[131],"both":[132],"collapse":[133],"non-collapse":[135],"regimes":[136],"theorem":[140],"are":[142],"pooled":[144],"as":[145],"population-level":[146],"experiments.":[147],"Other":[148],"MR-class-proxy":[149],"rows":[150],"remain":[151],"intermediate":[152],"signals":[153],"route-admitted":[156],"witness":[157],"evidence.":[158]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-10T00:00:00"}