{"id":"https://openalex.org/W7127141299","doi":"https://doi.org/10.1109/trustcom66490.2025.00349","title":"DeepLancet: Effectively Detecting Deep Learning Library Bugs via LLM-assisted Testcase Generation","display_name":"DeepLancet: Effectively Detecting Deep Learning Library Bugs via LLM-assisted Testcase Generation","publication_year":2025,"publication_date":"2025-11-14","ids":{"openalex":"https://openalex.org/W7127141299","doi":"https://doi.org/10.1109/trustcom66490.2025.00349"},"language":null,"primary_location":{"id":"doi:10.1109/trustcom66490.2025.00349","is_oa":false,"landing_page_url":"https://doi.org/10.1109/trustcom66490.2025.00349","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 24th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)","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/A5091739413","display_name":"Zihao Luo","orcid":"https://orcid.org/0009-0006-5310-6767"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zihao Luo","raw_affiliation_strings":["University of Science and Technology of China,School of Software Engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China,School of Software Engineering","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5124830143","display_name":"Baojian Hua","orcid":null},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Baojian Hua","raw_affiliation_strings":["University of Science and Technology of China,School of Software Engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China,School of Software Engineering","institution_ids":["https://openalex.org/I126520041"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I126520041"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.61640588,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2944","last_page":"2953"},"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.6682999730110168,"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.6682999730110168,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.07930000126361847,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.06430000066757202,"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/deep-learning","display_name":"Deep learning","score":0.8596000075340271},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.6406000256538391},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.5770999789237976},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5260999798774719},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4068000018596649},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4047999978065491},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.39570000767707825},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.3278000056743622},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.31279999017715454}],"concepts":[{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.8596000075340271},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.83160001039505},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.7329999804496765},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6406000256538391},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.5770999789237976},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5260999798774719},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.49570000171661377},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4068000018596649},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4047999978065491},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.39570000767707825},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.3278000056743622},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.31279999017715454},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.3041999936103821},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.30300000309944153},{"id":"https://openalex.org/C2778827112","wikidata":"https://www.wikidata.org/wiki/Q22245680","display_name":"Feature engineering","level":3,"score":0.30230000615119934},{"id":"https://openalex.org/C2780615836","wikidata":"https://www.wikidata.org/wiki/Q2471869","display_name":"USable","level":2,"score":0.28220000863075256},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.27970001101493835},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.2786000072956085},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.27469998598098755},{"id":"https://openalex.org/C2776207758","wikidata":"https://www.wikidata.org/wiki/Q5303302","display_name":"Downstream (manufacturing)","level":2,"score":0.27459999918937683},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C136389625","wikidata":"https://www.wikidata.org/wiki/Q334384","display_name":"Supervised learning","level":3,"score":0.2590000033378601},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.2554999887943268},{"id":"https://openalex.org/C94124525","wikidata":"https://www.wikidata.org/wiki/Q912550","display_name":"Categorization","level":2,"score":0.25369998812675476},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2526000142097473},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.25189998745918274}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/trustcom66490.2025.00349","is_oa":false,"landing_page_url":"https://doi.org/10.1109/trustcom66490.2025.00349","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 24th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.48708319664001465,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W2057536936","https://openalex.org/W2059218484","https://openalex.org/W2119112357","https://openalex.org/W2565186948","https://openalex.org/W2595557940","https://openalex.org/W2806377938","https://openalex.org/W2954903132","https://openalex.org/W2990912491","https://openalex.org/W3087355157","https://openalex.org/W3149582851","https://openalex.org/W3160029089","https://openalex.org/W3174529902","https://openalex.org/W3177562315","https://openalex.org/W4285490440","https://openalex.org/W4308643012","https://openalex.org/W4313442384","https://openalex.org/W4315629811","https://openalex.org/W4319594569","https://openalex.org/W4378770802","https://openalex.org/W4388040098","https://openalex.org/W4389544171","https://openalex.org/W4390679733","https://openalex.org/W4402442407","https://openalex.org/W4407230117","https://openalex.org/W4410361381","https://openalex.org/W4411638706"],"related_works":[],"abstract_inverted_index":{"Deep":[0],"learning":[1,15,40,66,81,111],"libraries":[2,20,112],"such":[3],"as":[4,44],"PyTorch":[5],"and":[6,25,94,116,131,137,182,194,241],"TensorFlow":[7],"are":[8,161],"essential":[9],"for":[10,77,192,238],"building":[11],"security-critical":[12],"downstream":[13,32],"deep":[14,39,65,80,110],"applications.":[16,33],"Bugs":[17],"in":[18,38,97,171,203,214],"these":[19],"compromise":[21],"their":[22,56],"correctness,":[23],"robustness,":[24],"security,":[26],"thereby":[27,95,252],"undermining":[28],"the":[29,74,98,150,215,242],"reliability":[30],"of":[31,100,123,218],"Unfortunately,":[34],"effectively":[35,78,129],"detecting":[36,79],"bugs":[37,83,213,256],"library":[41,67,82],"remains":[42],"challenging,":[43],"existing":[45],"approaches":[46],"often":[47],"fail":[48],"to":[49,55,58,90,133,163,184],"generate":[50,134,157,164],"effective":[51,202],"test":[52,102,140,165],"cases":[53,166],"due":[54],"inability":[57],"synthesize":[59,130,145],"complex":[60],"input":[61,124],"constraints":[62,125,159],"that":[63,108,126,199,234,245,257],"govern":[64],"functions.In":[68],"this":[69],"paper,":[70],"we":[71,127,143,174,226],"present":[72],"DeepLancet,":[73,193],"first":[75,144],"approach":[76,170,179],"by":[84,152,260],"leveraging":[85,153],"large":[86],"language":[87],"models":[88],"(LLMs)":[89],"systematically":[91],"parse":[92],"documentation":[93,151,237],"assist":[96],"generation":[99],"high-quality":[101],"cases.":[103,141],"Our":[104],"key":[105],"observation":[106],"is":[107,201],"mainstream":[109],"typically":[113],"provide":[114],"comprehensive":[115,250],"well-structured":[117],"documentation,":[118],"which":[119,160],"contains":[120],"detailed":[121],"descriptions":[122,148],"can":[128,247],"leverage":[132],"syntactically":[135],"valid":[136],"semantically":[138],"correct":[139],"Specifically,":[142],"function":[146],"constraint":[147,239],"from":[149],"LLMs.":[154],"We":[155,187],"then":[156],"rigorous":[158],"leveraged":[162],"through":[167],"an":[168],"attribution-based":[169],"Python.":[172],"Finally,":[173],"employ":[175],"a":[176,189,231],"differential":[177],"testing":[178],"on":[180],"CPU":[181],"GPU":[183],"detect":[185],"bugs.":[186],"build":[188],"software":[190],"prototype":[191],"our":[195],"evaluation":[196],"results":[197,243],"demonstrate":[198],"DeepLancet":[200,228,246],"uncovering":[204,253],"previously":[205,222],"unknown":[206,223],"real-world":[207],"bugs:":[208],"it":[209],"successfully":[210],"uncovers":[211],"20":[212],"latest":[216],"release":[217],"PyTorch,":[219],"including":[220],"7":[221],"ones.":[224],"Moreover,":[225],"compare":[227],"with":[229],"DocTer,":[230],"state-of-the-art":[232],"technique":[233],"also":[235],"leverages":[236],"extraction,":[240],"indicate":[244],"extract":[248],"more":[249,255],"constraints,":[251],"3":[254],"were":[258],"missed":[259],"DocTer.":[261]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-02-03T00:00:00"}