{"id":"https://openalex.org/W4411450118","doi":"https://doi.org/10.1145/3729394","title":"Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions","display_name":"Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions","publication_year":2025,"publication_date":"2025-06-19","ids":{"openalex":"https://openalex.org/W4411450118","doi":"https://doi.org/10.1145/3729394"},"language":"en","primary_location":{"id":"doi:10.1145/3729394","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729394","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3729394","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113705576","display_name":"Shaila Sharmin","orcid":null},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Shaila Sharmin","raw_affiliation_strings":["Iowa State University, Ames, USA"],"affiliations":[{"raw_affiliation_string":"Iowa State University, Ames, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087811005","display_name":"Anwar Hossain Zahid","orcid":"https://orcid.org/0000-0002-7014-112X"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anwar Hossain Zahid","raw_affiliation_strings":["Iowa State University, Ames, USA"],"affiliations":[{"raw_affiliation_string":"Iowa State University, Ames, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113825792","display_name":"Subhankar Bhattacharjee","orcid":null},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Subhankar Bhattacharjee","raw_affiliation_strings":["Iowa State University, Ames, USA"],"affiliations":[{"raw_affiliation_string":"Iowa State University, Ames, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091102046","display_name":"Chiamaka M. Igwilo","orcid":null},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chiamaka Igwilo","raw_affiliation_strings":["Iowa State University, Ames, USA"],"affiliations":[{"raw_affiliation_string":"Iowa State University, Ames, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049451101","display_name":"Miryung Kim","orcid":"https://orcid.org/0000-0003-3802-1512"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Miryung Kim","raw_affiliation_strings":["University of California at Los Angeles, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074426991","display_name":"Wei Le","orcid":"https://orcid.org/0000-0002-6797-0648"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wei Le","raw_affiliation_strings":["Iowa State University, Ames, USA"],"affiliations":[{"raw_affiliation_string":"Iowa State University, Ames, USA","institution_ids":["https://openalex.org/I173911158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5113705576"],"corresponding_institution_ids":["https://openalex.org/I173911158"],"apc_list":null,"apc_paid":null,"fwci":2.4849,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.90127438,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"2","issue":"FSE","first_page":"2806","last_page":"2827"},"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.9961000084877014,"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.9961000084877014,"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/T12535","display_name":"Machine Learning and Data Classification","score":0.9955000281333923,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9915000200271606,"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/benchmark","display_name":"Benchmark (surveying)","score":0.8086180686950684},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7874051332473755},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.78351229429245},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6187041401863098},{"id":"https://openalex.org/keywords/instability","display_name":"Instability","score":0.5569109916687012},{"id":"https://openalex.org/keywords/numerical-stability","display_name":"Numerical stability","score":0.5203856229782104},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.4897322654724121},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.48115861415863037},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4451709985733032},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4191184937953949},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40708041191101074},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3911508619785309},{"id":"https://openalex.org/keywords/numerical-analysis","display_name":"Numerical analysis","score":0.29907381534576416},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2812047004699707},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13439643383026123},{"id":"https://openalex.org/keywords/mechanics","display_name":"Mechanics","score":0.07704296708106995}],"concepts":[{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.8086180686950684},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7874051332473755},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.78351229429245},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6187041401863098},{"id":"https://openalex.org/C207821765","wikidata":"https://www.wikidata.org/wiki/Q405372","display_name":"Instability","level":2,"score":0.5569109916687012},{"id":"https://openalex.org/C176321772","wikidata":"https://www.wikidata.org/wiki/Q1430640","display_name":"Numerical stability","level":3,"score":0.5203856229782104},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.4897322654724121},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.48115861415863037},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4451709985733032},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4191184937953949},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40708041191101074},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3911508619785309},{"id":"https://openalex.org/C48753275","wikidata":"https://www.wikidata.org/wiki/Q11216","display_name":"Numerical analysis","level":2,"score":0.29907381534576416},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2812047004699707},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13439643383026123},{"id":"https://openalex.org/C57879066","wikidata":"https://www.wikidata.org/wiki/Q41217","display_name":"Mechanics","level":1,"score":0.07704296708106995},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3729394","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729394","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2504.15507","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2504.15507","pdf_url":"https://arxiv.org/pdf/2504.15507","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/3729394","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729394","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1677182931","https://openalex.org/W1853291804","https://openalex.org/W2210543184","https://openalex.org/W2616028256","https://openalex.org/W2786204509","https://openalex.org/W2789630305","https://openalex.org/W2888824816","https://openalex.org/W2911282308","https://openalex.org/W2962727772","https://openalex.org/W3005628256","https://openalex.org/W3033741081","https://openalex.org/W3043711568","https://openalex.org/W3105903381","https://openalex.org/W3109004940","https://openalex.org/W3194114088","https://openalex.org/W3195618452","https://openalex.org/W4255108598","https://openalex.org/W4313442384","https://openalex.org/W4313547562","https://openalex.org/W4384302763","https://openalex.org/W4384347367","https://openalex.org/W4389141459"],"related_works":["https://openalex.org/W1498103021","https://openalex.org/W4230849338","https://openalex.org/W4295166216","https://openalex.org/W2177044681","https://openalex.org/W1968067090","https://openalex.org/W2345942070","https://openalex.org/W2141398161","https://openalex.org/W2016410697","https://openalex.org/W39611005","https://openalex.org/W653076280"],"abstract_inverted_index":{"Machine":[0],"learning":[1],"(ML)":[2],"applications":[3,13,159],"have":[4,236],"become":[5],"an":[6,33,78,101],"integral":[7],"part":[8],"of":[9,28,90,124,150,190],"our":[10,164,212],"lives.":[11],"ML":[12,79,102,138,158],"extensively":[14],"use":[15,121],"floating-point":[16],"computation":[17],"and":[18,45,177,210],"involve":[19],"very":[20],"large/small":[21],"numbers;":[22],"thus,":[23],"maintaining":[24],"the":[25,67,84,94,97,117,122,141,145,174,179,197,201,205,225,248],"numerical":[26,70,135,184,215,249],"stability":[27],"such":[29],"complex":[30],"computations":[31],"remains":[32],"important":[34],"challenge.":[35],"Numerical":[36],"bugs":[37,176,185,206,216],"can":[38,72],"lead":[39],"to":[40,62,109,115,129,133,247],"system":[41],"crashes,":[42],"incorrect":[43,218],"output,":[44],"wasted":[46],"computing":[47],"resources.":[48],"In":[49,140],"this":[50],"paper,":[51],"we":[52,143],"introduce":[53],"a":[54,104,148],"novel":[55],"idea,":[56],"namely":[57],"soft":[58,75,105,125],"assertions":[59,126],"(SA)":[60],",":[61,229],"encode":[63],"safety/error":[64],"conditions":[65],"for":[66],"places":[68],"where":[69,224],"instability":[71,136],"occur.":[73],"A":[74],"assertion":[76,106],"is":[77,254],"model":[80],"automatically":[81],"trained":[82,230],"using":[83],"dataset":[85],"obtained":[86],"during":[87],"unit":[88],"testing":[89],"unstable":[91,98],"functions.":[92],"Given":[93],"values":[95,112],"at":[96,256],"function":[99],"in":[100,113,137,186],"application,":[103],"reports":[107],"how":[108],"change":[110],"these":[111],"order":[114],"trigger":[116,134],"instability.":[118],"We":[119,162,171,181,220],"then":[120],"output":[123],"as":[127,153,155],"signals":[128],"effectively":[130],"mutate":[131],"inputs":[132],"applications.":[139],"evaluation,":[142],"used":[144],"GRIST":[146,175],"benchmark,":[147],"total":[149],"79":[151],"programs,":[152],"well":[154],"15":[156],"real-world":[157,187],"from":[160],"GitHub.":[161],"compared":[163],"tool":[165,213],"with":[166,217],"5":[167],"state-of-the-art":[168],"(SOTA)":[169],"fuzzers.":[170],"found":[172,182,204,214],"all":[173],"outperformed":[178],"baselines.":[180],"13":[183],"code,":[188],"one":[189,222],"which":[191],"had":[192],"already":[193],"been":[194],"confirmed":[195],"by":[196],"GitHub":[198],"developers.":[199],"While":[200],"baselines":[202],"mostly":[203],"that":[207],"report":[208],"NaN":[209],"INF,":[211],"output.":[219],"showed":[221],"case":[223],"Tumor":[226],"Detection":[227],"Model":[228],"on":[231],"Brain":[232],"MRI":[233],"images,":[234],"should":[235],"predicted":[237,243],"\u201dtumor\u201d,":[238],"but":[239],"instead,":[240],"it":[241],"incorrectly":[242],"\u201dno":[244],"tumor\u201d":[245],"due":[246],"bugs.":[250],"Our":[251],"replication":[252],"package":[253],"located":[255],"https://figshare.com/s/6528d21ccd28bea94c32.":[257]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}