{"id":"https://openalex.org/W7170089820","doi":"https://doi.org/10.48550/arxiv.2607.18582","title":"Provably Lossless Acceleration of DNN Mutation Testing via Memoization","display_name":"Provably Lossless Acceleration of DNN Mutation Testing via Memoization","publication_year":2026,"publication_date":"2026-07-20","ids":{"openalex":"https://openalex.org/W7170089820","doi":"https://doi.org/10.48550/arxiv.2607.18582"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.18582","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.18582","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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.2607.18582","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081017278","display_name":"Ali Ghanbari","orcid":"https://orcid.org/0000-0002-2300-929X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ghanbari, Ali","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002785598","display_name":"Ben Greenman","orcid":"https://orcid.org/0000-0001-7078-9287"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Greenman, Ben","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015634385","display_name":"Sasan Tavakkol","orcid":"https://orcid.org/0000-0002-4111-4958"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tavakkol, Sasan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5143405385","display_name":"Shibbir Ahmed","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ahmed, Shibbir","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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.1501999944448471,"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"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.1501999944448471,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.12839999794960022,"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/T10775","display_name":"Generative Adversarial Networks and Image Synthesis","score":0.10580000281333923,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/mutation","display_name":"Mutation","score":0.7791000008583069},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5924000144004822},{"id":"https://openalex.org/keywords/memoization","display_name":"Memoization","score":0.4706000089645386},{"id":"https://openalex.org/keywords/lossless-compression","display_name":"Lossless compression","score":0.43149998784065247},{"id":"https://openalex.org/keywords/acceleration","display_name":"Acceleration","score":0.4291999936103821},{"id":"https://openalex.org/keywords/lossy-compression","display_name":"Lossy compression","score":0.39410001039505005},{"id":"https://openalex.org/keywords/mutation-rate","display_name":"Mutation rate","score":0.3930000066757202}],"concepts":[{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.7791000008583069},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7233999967575073},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5924000144004822},{"id":"https://openalex.org/C79516417","wikidata":"https://www.wikidata.org/wiki/Q1376168","display_name":"Memoization","level":4,"score":0.4706000089645386},{"id":"https://openalex.org/C81081738","wikidata":"https://www.wikidata.org/wiki/Q55542","display_name":"Lossless compression","level":3,"score":0.43149998784065247},{"id":"https://openalex.org/C117896860","wikidata":"https://www.wikidata.org/wiki/Q11376","display_name":"Acceleration","level":2,"score":0.4291999936103821},{"id":"https://openalex.org/C165021410","wikidata":"https://www.wikidata.org/wiki/Q55564","display_name":"Lossy compression","level":2,"score":0.39410001039505005},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39309999346733093},{"id":"https://openalex.org/C98638677","wikidata":"https://www.wikidata.org/wiki/Q2067051","display_name":"Mutation rate","level":3,"score":0.3930000066757202},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38499999046325684},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.362199991941452},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.3601999878883362},{"id":"https://openalex.org/C163565370","wikidata":"https://www.wikidata.org/wiki/Q4308623","display_name":"Mutation testing","level":4,"score":0.33820000290870667},{"id":"https://openalex.org/C199277547","wikidata":"https://www.wikidata.org/wiki/Q5872687","display_name":"Hitting time","level":2,"score":0.3352000117301941},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.32829999923706055},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.3249000012874603},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.3147999942302704},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29339998960494995},{"id":"https://openalex.org/C170858558","wikidata":"https://www.wikidata.org/wiki/Q1394144","display_name":"Automatic summarization","level":2,"score":0.29249998927116394}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.18582","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.18582","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2607.18582","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.18582","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Mutation":[0],"analysis":[1],"has":[2],"recently":[3],"reemerged":[4],"in":[5,204,226],"the":[6,46,62,68,82,90,94,169,199,210,218,231,252],"context":[7],"of":[8,85,107,147,160,172,201,212,220,233,251],"deep":[9],"neural":[10],"networks":[11],"(DNNs)":[12],"as":[13,247,249],"a":[14,104,155],"promising,":[15],"but":[16],"notoriously":[17],"costly,":[18],"approach":[19],"for":[20,38,51],"assessing":[21],"test":[22],"dataset":[23],"adequacy.":[24],"Existing":[25],"techniques":[26,185],"speed":[27],"up":[28],"DNN":[29,53,65,145],"mutation":[30,39,54,77,109,125,173,205,213],"testing":[31,55,174],"through":[32],"lossy":[33],"approximations":[34],"that":[35,64,113,166,182,238],"trade":[36],"efficiency":[37],"score":[40],"accuracy.":[41],"This":[42,162],"paper":[43],"introduces":[44],"Mure,":[45],"first":[47],"provably":[48],"lossless":[49],"framework":[50],"accelerating":[52],"via":[56],"memoization.":[57],"Mure":[58,114,139,167,221,239],"is":[59,98,115,134],"based":[60],"on":[61,143,177,194,217],"idea":[63],"mutants":[66],"and":[67,88,111,127,140,151,222],"original":[69,95],"model":[70],"share":[71],"substantial":[72],"redundant":[73],"computation,":[74],"so":[75],"during":[76],"testing,":[78,110,126],"it":[79,118,142],"executes":[80],"only":[81,100],"mutated":[83,234],"suffixes":[84],"each":[86],"mutant":[87],"reuses":[89],"common":[91],"prefix":[92],"from":[93,154],"model,":[96],"which":[97,132],"computed":[99],"once.":[101],"We":[102,136,179,207,236],"give":[103],"formal":[105],"account":[106],"memoized":[108],"prove":[112],"sound,":[116],"i.e.,":[117],"produces":[119],"results":[120],"equivalent":[121],"to":[122,158,187,192],"exhaustive":[123],"vanilla":[124],"identify":[128],"basic":[129],"conditions":[130],"under":[131],"speed-up":[133,244],"guaranteed.":[135],"have":[137],"implemented":[138],"evaluated":[141],"15":[144],"models":[146],"various":[148],"architectures,":[149],"complexities,":[150],"sizes":[152],"ranging":[153],"few":[156],"thousands":[157],"millions":[159],"parameters.":[161],"provides":[163],"empirical":[164],"evidence":[165],"reduces":[168],"computational":[170],"cost":[171,200],"by":[175],"44.54%,":[176],"average.":[178],"also":[180],"observed":[181,223,237],"while":[183],"state-of-the-art":[184],"tend":[186],"yield":[188],"higher":[189],"acceleration":[190],"(up":[191],"88.97%,":[193],"average),":[195],"they":[196],"come":[197],"at":[198],"some":[202],"error":[203],"score.":[206],"further":[208],"analyze":[209],"effect":[211],"generation":[214],"selection":[215],"ratio":[216],"effectiveness":[219],"predictable":[224],"reductions":[225],"memoization":[227],"opportunities":[228],"with":[229],"increasing":[230],"percentage":[232],"neurons.":[235],"offers":[240],"more":[241],"than":[242],"20%":[243],"even":[245],"when":[246],"high":[248],"5%":[250],"neurons":[253],"are":[254],"mutated.":[255]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-23T00:00:00"}