{"id":"https://openalex.org/W7125980045","doi":"https://doi.org/10.1109/smc58881.2025.11342943","title":"Automatic Determination Method for Suspected Software Defects Based on Static Analysis","display_name":"Automatic Determination Method for Suspected Software Defects Based on Static Analysis","publication_year":2025,"publication_date":"2025-10-05","ids":{"openalex":"https://openalex.org/W7125980045","doi":"https://doi.org/10.1109/smc58881.2025.11342943"},"language":null,"primary_location":{"id":"doi:10.1109/smc58881.2025.11342943","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc58881.2025.11342943","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","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/A5121950913","display_name":"Xuejian Li","orcid":null},"institutions":[{"id":"https://openalex.org/I143868143","display_name":"Anhui University","ror":"https://ror.org/05th6yx34","country_code":"CN","type":"education","lineage":["https://openalex.org/I143868143"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuejian Li","raw_affiliation_strings":["Anhui University,School of Computer Science and Technology,Hefei,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Anhui University,School of Computer Science and Technology,Hefei,China","institution_ids":["https://openalex.org/I143868143"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Chunyang Sun","orcid":null},"institutions":[{"id":"https://openalex.org/I143868143","display_name":"Anhui University","ror":"https://ror.org/05th6yx34","country_code":"CN","type":"education","lineage":["https://openalex.org/I143868143"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chunyang Sun","raw_affiliation_strings":["Anhui University,School of Computer Science and Technology,Hefei,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Anhui University,School of Computer Science and Technology,Hefei,China","institution_ids":["https://openalex.org/I143868143"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124106149","display_name":"Zhenguang Zhu","orcid":null},"institutions":[{"id":"https://openalex.org/I143868143","display_name":"Anhui University","ror":"https://ror.org/05th6yx34","country_code":"CN","type":"education","lineage":["https://openalex.org/I143868143"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenguang Zhu","raw_affiliation_strings":["Anhui University,School of Computer Science and Technology,Hefei,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Anhui University,School of Computer Science and Technology,Hefei,China","institution_ids":["https://openalex.org/I143868143"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102596781","display_name":"Zihan Li","orcid":"https://orcid.org/0009-0008-0027-7145"},"institutions":[{"id":"https://openalex.org/I143868143","display_name":"Anhui University","ror":"https://ror.org/05th6yx34","country_code":"CN","type":"education","lineage":["https://openalex.org/I143868143"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zihan Li","raw_affiliation_strings":["Anhui University,School of Computer Science and Technology,Hefei,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Anhui University,School of Computer Science and Technology,Hefei,China","institution_ids":["https://openalex.org/I143868143"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I143868143"],"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":"5505","last_page":"5512"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9771000146865845,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9771000146865845,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.00559999980032444,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.005100000184029341,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.7613999843597412},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5996999740600586},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5913000106811523},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5906999707221985},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.555899977684021},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.5536999702453613},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.49140000343322754},{"id":"https://openalex.org/keywords/false-positives-and-false-negatives","display_name":"False positives and false negatives","score":0.4700999855995178}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7656000256538391},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.7613999843597412},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5996999740600586},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5913000106811523},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5906999707221985},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.555899977684021},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.5536999702453613},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.546500027179718},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.49140000343322754},{"id":"https://openalex.org/C112789634","wikidata":"https://www.wikidata.org/wiki/Q18207010","display_name":"False positives and false negatives","level":3,"score":0.4700999855995178},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.45829999446868896},{"id":"https://openalex.org/C2989486834","wikidata":"https://www.wikidata.org/wiki/Q3808900","display_name":"True positive rate","level":2,"score":0.35920000076293945},{"id":"https://openalex.org/C2777615720","wikidata":"https://www.wikidata.org/wiki/Q11888847","display_name":"Prioritization","level":2,"score":0.3578000068664551},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3424000144004822},{"id":"https://openalex.org/C3019060180","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automated method","level":2,"score":0.3325999975204468},{"id":"https://openalex.org/C153180895","wikidata":"https://www.wikidata.org/wiki/Q7148389","display_name":"Pattern recognition (psychology)","level":2,"score":0.30660000443458557},{"id":"https://openalex.org/C134400042","wikidata":"https://www.wikidata.org/wiki/Q2372244","display_name":"Symbol (formal)","level":2,"score":0.303600013256073},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.2815999984741211},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.26260000467300415},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.2547000050544739},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.25450000166893005},{"id":"https://openalex.org/C10272871","wikidata":"https://www.wikidata.org/wiki/Q929972","display_name":"Software inspection","level":5,"score":0.25360000133514404}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/smc58881.2025.11342943","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc58881.2025.11342943","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth","score":0.7254856824874878}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W2059278087","https://openalex.org/W2080529963","https://openalex.org/W2166140339","https://openalex.org/W2976184969","https://openalex.org/W3096675378","https://openalex.org/W3113170597","https://openalex.org/W3171813881","https://openalex.org/W3202241127","https://openalex.org/W4247981256","https://openalex.org/W4293506665","https://openalex.org/W4388117124","https://openalex.org/W4392102822"],"related_works":[],"abstract_inverted_index":{"Deep":[0],"learning":[1],"techniques":[2],"for":[3,59,86,140,147],"software":[4,94],"defect":[5,11,61,95,180],"prediction":[6,18,89],"enhances":[7],"the":[8,17,34,51,88,120,125,128,156,159,169,184],"efficiency":[9],"of":[10,25,33,53,91,127,158,190],"detection":[12],"in":[13,45],"large-scale":[14],"projects.":[15],"However,":[16,56],"outcomes":[19],"often":[20,67],"include":[21],"a":[22],"certain":[23],"proportion":[24],"false":[26,76,204],"positives":[27,205],"and":[28,75,135,145,198],"omissions,":[29],"necessitating":[30],"manual":[31,193],"verification":[32,194],"actual":[35],"defects.":[36,55,111,130,161],"This":[37,101],"has":[38],"led":[39],"to":[40,48,69,124,154],"increased":[41],"interest":[42],"among":[43],"researchers":[44],"developing":[46],"methods":[47],"automatically":[49,187],"determine":[50],"authenticity":[52],"suspected":[54,129,160],"existing":[57],"methodologies":[58],"automatic":[60,84],"identification":[62],"are":[63,167],"limited,":[64],"as":[65],"they":[66],"fail":[68],"effectively":[70,103],"differentiate":[71],"between":[72],"genuine":[73,165],"defects":[74,166,202],"positives.":[77],"In":[78,162],"this":[79,114],"paper,":[80],"we":[81],"propose":[82],"an":[83],"method":[85,170,186],"verifying":[87,109],"results":[90],"deep":[92],"learning-based":[93],"models,":[96],"leveraging":[97],"static":[98],"analysis":[99],"techniques.":[100],"approach":[102],"reduces":[104,192],"labor":[105],"costs":[106],"associated":[107],"with":[108],"potential":[110,141],"It":[112],"accomplishes":[113],"by":[115,196],"aggregating":[116],"path":[117,138],"data":[118],"from":[119,203],"program":[121],"entry":[122],"point":[123],"locations":[126],"The":[131],"methodology":[132],"involves":[133],"compiling":[134],"refining":[136],"execution":[137,151],"trajectories":[139],"defects,":[142],"employing":[143],"filtering":[144],"prioritization":[146],"structured":[148],"analysis.":[149],"Symbol":[150],"is":[152],"employed":[153],"verify":[155],"validity":[157],"instances":[163],"where":[164],"identified,":[168],"generates":[171],"corresponding":[172],"test":[173],"cases.":[174],"Experiments":[175],"on":[176],"datasets":[177],"containing":[178],"various":[179],"types":[181],"demonstrate":[182],"that":[183],"proposed":[185],"verifies":[188],"73.95%":[189],"alerts,":[191],"effort":[195],"49.58%,":[197],"accurately":[199],"distinguishes":[200],"true":[201],"without":[206],"misclassification.":[207]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-01-29T00:00:00"}