{"id":"https://openalex.org/W4389158362","doi":"https://doi.org/10.1145/3611643.3616337","title":"NeuRI: Diversifying DNN Generation via Inductive Rule Inference","display_name":"NeuRI: Diversifying DNN Generation via Inductive Rule Inference","publication_year":2023,"publication_date":"2023-11-30","ids":{"openalex":"https://openalex.org/W4389158362","doi":"https://doi.org/10.1145/3611643.3616337"},"language":"en","primary_location":{"id":"doi:10.1145/3611643.3616337","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3611643.3616337","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"article","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/A5100320734","display_name":"Jiawei Liu","orcid":"https://orcid.org/0000-0001-7122-8625"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jiawei Liu","raw_affiliation_strings":["University of Illinois, Urbana-Champaign, USA"],"raw_orcid":"https://orcid.org/0000-0001-7122-8625","affiliations":[{"raw_affiliation_string":"University of Illinois, Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042563997","display_name":"Jinjun Peng","orcid":"https://orcid.org/0009-0007-0202-2122"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jinjun Peng","raw_affiliation_strings":["Columbia University, New York, USA"],"raw_orcid":"https://orcid.org/0009-0007-0202-2122","affiliations":[{"raw_affiliation_string":"Columbia University, New York, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114526321","display_name":"Yuyao Wang","orcid":"https://orcid.org/0000-0003-4164-3208"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuyao Wang","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0003-4164-3208","affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043546718","display_name":"Lingming Zhang","orcid":"https://orcid.org/0000-0001-5175-2702"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lingming Zhang","raw_affiliation_strings":["University of Illinois, Urbana-Champaign, USA"],"raw_orcid":"https://orcid.org/0000-0001-5175-2702","affiliations":[{"raw_affiliation_string":"University of Illinois, Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100320734"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":4.0384,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.96744186,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"657","last_page":"669"},"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.9998000264167786,"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.9998000264167786,"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.9979000091552734,"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/T10260","display_name":"Software Engineering Research","score":0.9966999888420105,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8516302704811096},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8471900820732117},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.8212816715240479},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.6103836297988892},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5550327301025391},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5519440174102783},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.545881986618042},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4799633026123047},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.47773975133895874},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.45818841457366943},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4480646848678589},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4466429650783539},{"id":"https://openalex.org/keywords/open-source","display_name":"Open source","score":0.44664108753204346},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.42073139548301697},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.41804155707359314},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4107678234577179},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2893858253955841}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8516302704811096},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8471900820732117},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.8212816715240479},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6103836297988892},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5550327301025391},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5519440174102783},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.545881986618042},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4799633026123047},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.47773975133895874},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.45818841457366943},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4480646848678589},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4466429650783539},{"id":"https://openalex.org/C3018397939","wikidata":"https://www.wikidata.org/wiki/Q3644502","display_name":"Open source","level":3,"score":0.44664108753204346},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.42073139548301697},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.41804155707359314},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4107678234577179},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2893858253955841},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"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/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3611643.3616337","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3611643.3616337","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7599999904632568,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G2414932747","display_name":null,"funder_award_id":"CCF-2131943","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3697065897","display_name":null,"funder_award_id":"CCF-2141474","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G514240972","display_name":null,"funder_award_id":"CCF-2131943,CCF-2141474","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6335025080","display_name":"CAREER: Maximal and Scalable Unified Debugging for the JVM Ecosystem","funder_award_id":"2131943","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8645764225","display_name":"SHF: Medium: Collaborative Research: Enhancing Continuous Integration Testing for the Open-Source Ecosystem","funder_award_id":"2141474","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W258469679","https://openalex.org/W1488252886","https://openalex.org/W2002934700","https://openalex.org/W2009489720","https://openalex.org/W2069362004","https://openalex.org/W2153185479","https://openalex.org/W2154897437","https://openalex.org/W2163671349","https://openalex.org/W2603456259","https://openalex.org/W2734941459","https://openalex.org/W2954903132","https://openalex.org/W2963446712","https://openalex.org/W3104663419","https://openalex.org/W3123045479","https://openalex.org/W3160029089","https://openalex.org/W3161891692","https://openalex.org/W3207460439","https://openalex.org/W3209828932","https://openalex.org/W4220929067","https://openalex.org/W4221144766","https://openalex.org/W4237492309","https://openalex.org/W4238083723","https://openalex.org/W4242239856","https://openalex.org/W4284708930","https://openalex.org/W4285490440","https://openalex.org/W4306823614","https://openalex.org/W4307472425","https://openalex.org/W4308643012","https://openalex.org/W4312558817","https://openalex.org/W4313442384","https://openalex.org/W4378591002","https://openalex.org/W4384155658","https://openalex.org/W4384345721","https://openalex.org/W4386464720"],"related_works":["https://openalex.org/W2785720764","https://openalex.org/W2777046235","https://openalex.org/W2186070848","https://openalex.org/W4285245977","https://openalex.org/W3203826058","https://openalex.org/W3104446232","https://openalex.org/W4290048282","https://openalex.org/W2914996832","https://openalex.org/W2768829148","https://openalex.org/W4240738830"],"abstract_inverted_index":{"Deep":[0],"Learning":[1],"(DL)":[2],"is":[3,28],"prevalently":[4],"used":[5],"in":[6,32,178,220],"various":[7,117],"industries":[8],"to":[9,74,127],"improve":[10],"decision-making":[11],"and":[12,21,53,93,112,135,145,158,162,176,218],"automate":[13],"processes,":[14],"driven":[15],"by":[16,160,214],"the":[17,37,45,72,125,129,165,206],"ever-evolving":[18],"DL":[19,26,33,58,95],"libraries":[20],"compilers.":[22],"The":[23],"correctness":[24],"of":[25,40,48,69,98,100,102,156,201,205],"systems":[27],"crucial":[29],"for":[30,56,90,131,174],"trust":[31],"applications.":[34],"As":[35],"such,":[36],"recent":[38],"wave":[39],"research":[41],"has":[42],"been":[43],"studying":[44],"automated":[46,88],"synthesis":[47,123],"test-cases":[49],"(i.e.,":[50],"DNN":[51],"models":[52,96],"their":[54],"inputs)":[55],"fuzzing":[57],"systems.":[59],"However,":[60],"existing":[61],"model":[62,76,139],"generators":[63],"only":[64],"subsume":[65],"a":[66,86,106],"limited":[67],"number":[68],"operators,":[70],"lacking":[71],"ability":[73],"pervasively":[75],"operator":[77],"constraints.":[78],"To":[79],"address":[80],"this":[81],"challenge,":[82],"we":[83],"propose":[84],"NeuRI,":[85],"fully":[87],"approach":[89],"generating":[91],"valid":[92,111,133],"diverse":[94],"composed":[97],"hundreds":[99],"types":[101],"operators.":[103,147],"NeuRI":[104,152,169],"adopts":[105],"three-step":[107],"process:":[108],"(i)":[109],"collecting":[110],"invalid":[113],"API":[114],"traces":[115,126],"from":[116],"sources;":[118],"(ii)":[119],"applying":[120],"inductive":[121],"program":[122],"over":[124,164],"infer":[128],"constraints":[130],"constructing":[132],"models;":[134],"(iii)":[136],"using":[137],"hybrid":[138],"generation":[140],"which":[141],"incorporates":[142],"both":[143],"symbolic":[144],"concrete":[146],"Our":[148],"evaluation":[149],"shows":[150],"that":[151],"improves":[153],"branch":[154],"coverage":[155],"TensorFlow":[157,177],"PyTorch":[159,175],"24%":[161],"15%":[163],"state-of-the-art":[166],"model-level":[167],"fuzzers.":[168],"finds":[170],"100":[171],"new":[172],"bugs":[173,190,204],"four":[179],"months,":[180],"with":[181],"81":[182],"already":[183],"fixed":[184],"or":[185,196],"confirmed.":[186],"Of":[187],"these,":[188],"9":[189],"are":[191],"labelled":[192],"as":[193,216],"high":[194],"priority":[195],"security":[197],"vulnerability,":[198],"constituting":[199],"10%":[200],"all":[202],"high-priority":[203],"period.":[207],"Open-source":[208],"developers":[209],"regard":[210],"error-inducing":[211],"tests":[212],"reported":[213],"us":[215],"\"high-quality\"":[217],"\"common":[219],"practice\".":[221]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":10},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}