{"id":"https://openalex.org/W4415743932","doi":"https://doi.org/10.1109/qrs-c65679.2025.00061","title":"Coverage-Guided Optimization of Concolic Testing for Deep Neural Networks","display_name":"Coverage-Guided Optimization of Concolic Testing for Deep Neural Networks","publication_year":2025,"publication_date":"2025-07-16","ids":{"openalex":"https://openalex.org/W4415743932","doi":"https://doi.org/10.1109/qrs-c65679.2025.00061"},"language":null,"primary_location":{"id":"doi:10.1109/qrs-c65679.2025.00061","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qrs-c65679.2025.00061","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","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/A5120211364","display_name":"Surui Shuai","orcid":null},"institutions":[{"id":"https://openalex.org/I78978612","display_name":"Yangzhou University","ror":"https://ror.org/03tqb8s11","country_code":"CN","type":"education","lineage":["https://openalex.org/I78978612"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Surui Shuai","raw_affiliation_strings":["Yangzhou University,School of Information Engineering,Yangzhou,China,100190"],"affiliations":[{"raw_affiliation_string":"Yangzhou University,School of Information Engineering,Yangzhou,China,100190","institution_ids":["https://openalex.org/I78978612"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101635300","display_name":"Yao Chen","orcid":"https://orcid.org/0000-0003-0293-7916"},"institutions":[{"id":"https://openalex.org/I78978612","display_name":"Yangzhou University","ror":"https://ror.org/03tqb8s11","country_code":"CN","type":"education","lineage":["https://openalex.org/I78978612"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chen Yao","raw_affiliation_strings":["Yangzhou University,School of Information Engineering,Yangzhou,China,100190"],"affiliations":[{"raw_affiliation_string":"Yangzhou University,School of Information Engineering,Yangzhou,China,100190","institution_ids":["https://openalex.org/I78978612"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051194389","display_name":"Waqas Rasheed","orcid":"https://orcid.org/0000-0001-8696-203X"},"institutions":[{"id":"https://openalex.org/I78978612","display_name":"Yangzhou University","ror":"https://ror.org/03tqb8s11","country_code":"CN","type":"education","lineage":["https://openalex.org/I78978612"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Waqas Rasheed","raw_affiliation_strings":["Yangzhou University,School of Information Engineering,Yangzhou,China,100190"],"affiliations":[{"raw_affiliation_string":"Yangzhou University,School of Information Engineering,Yangzhou,China,100190","institution_ids":["https://openalex.org/I78978612"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032035426","display_name":"Songhua Li","orcid":"https://orcid.org/0000-0003-3941-8490"},"institutions":[{"id":"https://openalex.org/I78978612","display_name":"Yangzhou University","ror":"https://ror.org/03tqb8s11","country_code":"CN","type":"education","lineage":["https://openalex.org/I78978612"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Songhua Li","raw_affiliation_strings":["Yangzhou University,School of Information Engineering,Yangzhou,China,100190"],"affiliations":[{"raw_affiliation_string":"Yangzhou University,School of Information Engineering,Yangzhou,China,100190","institution_ids":["https://openalex.org/I78978612"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068891302","display_name":"Yi Xie","orcid":"https://orcid.org/0000-0002-1416-5557"},"institutions":[{"id":"https://openalex.org/I78978612","display_name":"Yangzhou University","ror":"https://ror.org/03tqb8s11","country_code":"CN","type":"education","lineage":["https://openalex.org/I78978612"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuchen Xie","raw_affiliation_strings":["Yangzhou University,School of Information Engineering,Yangzhou,China,100190"],"affiliations":[{"raw_affiliation_string":"Yangzhou University,School of Information Engineering,Yangzhou,China,100190","institution_ids":["https://openalex.org/I78978612"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5120211364"],"corresponding_institution_ids":["https://openalex.org/I78978612"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.3423899,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"434","last_page":"443"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10036","display_name":"Advanced Neural Network Applications","score":0.43880000710487366,"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"}},"topics":[{"id":"https://openalex.org/T10036","display_name":"Advanced Neural Network Applications","score":0.43880000710487366,"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"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.3100000023841858,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.05209999904036522,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.7835000157356262},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.6137999892234802},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.5552999973297119},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5426999926567078},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.4544999897480011},{"id":"https://openalex.org/keywords/optimization-problem","display_name":"Optimization problem","score":0.4244999885559082},{"id":"https://openalex.org/keywords/deep-neural-networks","display_name":"Deep neural networks","score":0.3806000053882599},{"id":"https://openalex.org/keywords/statistical-hypothesis-testing","display_name":"Statistical hypothesis testing","score":0.321399986743927}],"concepts":[{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.7835000157356262},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.6137999892234802},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5835000276565552},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.5552999973297119},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5426999926567078},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.4544999897480011},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4399999976158142},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.4244999885559082},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4106000065803528},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.3806000053882599},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3434000015258789},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3407000005245209},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.321399986743927},{"id":"https://openalex.org/C3309286","wikidata":"https://www.wikidata.org/wiki/Q4907693","display_name":"Bilevel optimization","level":3,"score":0.31790000200271606},{"id":"https://openalex.org/C2987595161","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Optimization algorithm","level":2,"score":0.3111000061035156},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.30149999260902405},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3005000054836273},{"id":"https://openalex.org/C93959086","wikidata":"https://www.wikidata.org/wiki/Q6888345","display_name":"Model selection","level":2,"score":0.2948000133037567},{"id":"https://openalex.org/C148483581","wikidata":"https://www.wikidata.org/wiki/Q446488","display_name":"Feature selection","level":2,"score":0.29339998960494995},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.27059999108314514},{"id":"https://openalex.org/C150185637","wikidata":"https://www.wikidata.org/wiki/Q7705773","display_name":"Test functions for optimization","level":4,"score":0.26919999718666077},{"id":"https://openalex.org/C164752517","wikidata":"https://www.wikidata.org/wiki/Q5570875","display_name":"Global optimization","level":2,"score":0.2687000036239624},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2644999921321869},{"id":"https://openalex.org/C153180895","wikidata":"https://www.wikidata.org/wiki/Q7148389","display_name":"Pattern recognition (psychology)","level":2,"score":0.26109999418258667},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.25540000200271606}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/qrs-c65679.2025.00061","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qrs-c65679.2025.00061","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1976383685","https://openalex.org/W2117539524","https://openalex.org/W2601243251","https://openalex.org/W2616028256","https://openalex.org/W2791915981","https://openalex.org/W2793941577","https://openalex.org/W2799640043","https://openalex.org/W2804337238","https://openalex.org/W2806746626","https://openalex.org/W2888824816","https://openalex.org/W2921384086","https://openalex.org/W2922015121","https://openalex.org/W2997723518","https://openalex.org/W3005242406","https://openalex.org/W3031391834","https://openalex.org/W3115518128","https://openalex.org/W3120991880","https://openalex.org/W3121592851","https://openalex.org/W3134770171","https://openalex.org/W3178469298","https://openalex.org/W3183048323","https://openalex.org/W4200586434","https://openalex.org/W4210918116","https://openalex.org/W4220982348","https://openalex.org/W4286485305","https://openalex.org/W4293093284","https://openalex.org/W4311159382","https://openalex.org/W4316661233","https://openalex.org/W4319451761","https://openalex.org/W4378550342","https://openalex.org/W4389614313","https://openalex.org/W4391985770","https://openalex.org/W4394769458"],"related_works":[],"abstract_inverted_index":{"Concolic":[0],"testing":[1,31,43],"is":[2],"a":[3,111,119],"crucial":[4],"method":[5,106,109],"for":[6],"evaluating":[7],"deep":[8,49],"neural":[9],"networks,":[10],"providing":[11],"comprehensive":[12],"neuron":[13,50,117],"coverage":[14,57],"and":[15,89,124],"in-depth":[16],"analysis":[17],"of":[18,41,48,114,122,128],"network":[19,51],"behavior.":[20],"However,":[21],"it":[22],"often":[23],"requires":[24],"significant":[25],"computational":[26],"resources,":[27],"resulting":[28],"in":[29,116],"prolonged":[30],"times.":[32],"In":[33],"this":[34],"paper,":[35],"we":[36],"present":[37],"an":[38,125],"optimization":[39,74,78,86,92],"framework":[40,70],"concolic":[42],"to":[44,60],"enhance":[45],"the":[46,104],"efficiency":[47],"testing,":[52],"namely,":[53],"DeepOptCon.":[54],"It":[55],"utilizes":[56],"guidance":[58],"strategies":[59],"reduce":[61],"test":[62,83],"cases":[63],"without":[64],"decreasing":[65],"issue":[66],"identification":[67],"ability.":[68],"Our":[69],"integrates":[71],"three":[72],"distinct":[73],"techniques:":[75],"model":[76],"slice":[77],"via":[79],"forward":[80],"propagation,":[81],"initial":[82],"case":[84],"selection":[85],"using":[87],"HDBSCAN,":[88],"heuristic":[90],"search":[91],"based":[93],"on":[94],"maximum":[95,112],"activation":[96],"weight.":[97],"Experimental":[98],"results":[99],"show":[100],"that":[101],"compared":[102],"with":[103],"benchmark":[105],"DeepXplore,":[107],"our":[108],"achieved":[110],"improvement":[113,121,127],"67.30%":[115],"coverage,":[118],"minimum":[120],"12.08%,":[123],"average":[126],"33.00%.":[129]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-31T00:00:00"}