{"id":"https://openalex.org/W2471111208","doi":"https://doi.org/10.1109/tse.2016.2584063","title":"Dependence Guided Symbolic Execution","display_name":"Dependence Guided Symbolic Execution","publication_year":2016,"publication_date":"2016-06-23","ids":{"openalex":"https://openalex.org/W2471111208","doi":"https://doi.org/10.1109/tse.2016.2584063","mag":"2471111208"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2016.2584063","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2016.2584063","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-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/A5100419375","display_name":"Haijun Wang","orcid":"https://orcid.org/0009-0001-3509-3919"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Haijun Wang","raw_affiliation_strings":["Ministry of Education Key Lab For Intelligent Networks and Network Security (MOEKLINNS), Xi'an Jiaotong University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Ministry of Education Key Lab For Intelligent Networks and Network Security (MOEKLINNS), Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101554099","display_name":"Ting Liu","orcid":"https://orcid.org/0000-0002-7600-0934"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ting Liu","raw_affiliation_strings":["Ministry of Education Key Lab For Intelligent Networks and Network Security (MOEKLINNS), Xi'an Jiaotong University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Ministry of Education Key Lab For Intelligent Networks and Network Security (MOEKLINNS), Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075845093","display_name":"Xiaohong Guan","orcid":"https://orcid.org/0000-0002-8826-0362"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaohong Guan","raw_affiliation_strings":["Ministry of Education Key Lab For Intelligent Networks and Network Security (MOEKLINNS), Xi'an Jiaotong University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Ministry of Education Key Lab For Intelligent Networks and Network Security (MOEKLINNS), Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101843177","display_name":"Chao Shen","orcid":"https://orcid.org/0000-0003-2783-5529"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chao Shen","raw_affiliation_strings":["Ministry of Education Key Lab For Intelligent Networks and Network Security (MOEKLINNS), Xi'an Jiaotong University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Ministry of Education Key Lab For Intelligent Networks and Network Security (MOEKLINNS), Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041083459","display_name":"Qinghua Zheng","orcid":"https://orcid.org/0000-0002-8436-4754"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qinghua Zheng","raw_affiliation_strings":["Ministry of Education Key Lab For Intelligent Networks and Network Security (MOEKLINNS), Xi'an Jiaotong University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Ministry of Education Key Lab For Intelligent Networks and Network Security (MOEKLINNS), Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101995389","display_name":"Zijiang Yang","orcid":"https://orcid.org/0000-0001-7647-3718"},"institutions":[{"id":"https://openalex.org/I141649380","display_name":"Western Michigan University","ror":"https://ror.org/04j198w64","country_code":"US","type":"education","lineage":["https://openalex.org/I141649380"]},{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Zijiang Yang","raw_affiliation_strings":["Department of Computer Science, Western Michigan University, Kalamazoo, MI","Ministry of Education Key Lab For Intelligent Networks and Network Security, Xi'an Jiaotong University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Western Michigan University, Kalamazoo, MI","institution_ids":["https://openalex.org/I141649380"]},{"raw_affiliation_string":"Ministry of Education Key Lab For Intelligent Networks and Network Security, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5100419375"],"corresponding_institution_ids":["https://openalex.org/I87445476"],"apc_list":null,"apc_paid":null,"fwci":8.3381,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":{"value":0.98116529,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":99},"biblio":{"volume":"43","issue":"3","first_page":"252","last_page":"271"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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.9983999729156494,"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/T10260","display_name":"Software Engineering Research","score":0.9983000159263611,"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/notation","display_name":"Notation","score":0.8043248653411865},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.798206627368927},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7308239340782166},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5782833099365234},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.5461586117744446},{"id":"https://openalex.org/keywords/the-symbolic","display_name":"The Symbolic","score":0.4780848026275635},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.4458523392677307},{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.4350596070289612},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4232724905014038},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38316720724105835},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3261737823486328},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3203163743019104},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.18763324618339539},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1769222617149353},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16614633798599243}],"concepts":[{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.8043248653411865},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.798206627368927},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7308239340782166},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5782833099365234},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5461586117744446},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.4780848026275635},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.4458523392677307},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.4350596070289612},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4232724905014038},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38316720724105835},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3261737823486328},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3203163743019104},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.18763324618339539},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1769222617149353},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16614633798599243},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"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/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2016.2584063","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2016.2584063","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1153577794","display_name":null,"funder_award_id":"CF-1500365","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3340281837","display_name":null,"funder_award_id":"61532015","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3679935874","display_name":null,"funder_award_id":"61472318","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4595835242","display_name":null,"funder_award_id":"61428206","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4736889177","display_name":null,"funder_award_id":"91218301","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4914124722","display_name":null,"funder_award_id":"151067","funder_id":"https://openalex.org/F4320334945","funder_display_name":"Fok Ying Tong Education Foundation"},{"id":"https://openalex.org/G5305885751","display_name":null,"funder_award_id":"U1301254","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8297120240","display_name":null,"funder_award_id":"91418205","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320334945","display_name":"Fok Ying Tong Education Foundation","ror":"https://ror.org/01mv9t934"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":73,"referenced_works":["https://openalex.org/W157156687","https://openalex.org/W1480909796","https://openalex.org/W1497028280","https://openalex.org/W1526710119","https://openalex.org/W1561959476","https://openalex.org/W1589776562","https://openalex.org/W1710734607","https://openalex.org/W1900305658","https://openalex.org/W1963739845","https://openalex.org/W2002758617","https://openalex.org/W2006860739","https://openalex.org/W2008812751","https://openalex.org/W2009489720","https://openalex.org/W2009956228","https://openalex.org/W2013711971","https://openalex.org/W2017035494","https://openalex.org/W2020689607","https://openalex.org/W2035603501","https://openalex.org/W2043512166","https://openalex.org/W2047694629","https://openalex.org/W2050886219","https://openalex.org/W2052844069","https://openalex.org/W2055770200","https://openalex.org/W2057891174","https://openalex.org/W2059987590","https://openalex.org/W2061227290","https://openalex.org/W2061686717","https://openalex.org/W2065236359","https://openalex.org/W2067871120","https://openalex.org/W2071067812","https://openalex.org/W2071589768","https://openalex.org/W2072000086","https://openalex.org/W2072077040","https://openalex.org/W2076807040","https://openalex.org/W2080573945","https://openalex.org/W2080696000","https://openalex.org/W2082172430","https://openalex.org/W2083318332","https://openalex.org/W2096449544","https://openalex.org/W2097041275","https://openalex.org/W2097444001","https://openalex.org/W2099855131","https://openalex.org/W2101512909","https://openalex.org/W2105993618","https://openalex.org/W2110908283","https://openalex.org/W2115273016","https://openalex.org/W2116382946","https://openalex.org/W2125152082","https://openalex.org/W2133612077","https://openalex.org/W2136601052","https://openalex.org/W2139478536","https://openalex.org/W2140687990","https://openalex.org/W2144423682","https://openalex.org/W2146178292","https://openalex.org/W2151959678","https://openalex.org/W2155539595","https://openalex.org/W2162653489","https://openalex.org/W2165751179","https://openalex.org/W2168625647","https://openalex.org/W2169063148","https://openalex.org/W2171469152","https://openalex.org/W2397864009","https://openalex.org/W4234735799","https://openalex.org/W4235555510","https://openalex.org/W4236200536","https://openalex.org/W4245509418","https://openalex.org/W4246117430","https://openalex.org/W4246385123","https://openalex.org/W4248280766","https://openalex.org/W4249100736","https://openalex.org/W6606430823","https://openalex.org/W6637688222","https://openalex.org/W6712378981"],"related_works":["https://openalex.org/W1983849186","https://openalex.org/W34311366","https://openalex.org/W2553223552","https://openalex.org/W2155539595","https://openalex.org/W844671342","https://openalex.org/W2101264565","https://openalex.org/W3141167149","https://openalex.org/W3092374222","https://openalex.org/W4390796750","https://openalex.org/W4386755271"],"abstract_inverted_index":{"Symbolic":[0,120],"execution":[1,74,105],"is":[2,24,61],"a":[3,12,71,114,141,158,177],"powerful":[4],"technique":[5],"for":[6,54],"systematically":[7,65],"exploring":[8],"the":[9,16,28,34,43,55,67,78,86,97,137,150,173,195],"paths":[10,38,88,139,152,174],"of":[11,36,45,57,172,179],"program":[13,46,130],"and":[14,69,84,135,155,175,194],"generating":[15],"corresponding":[17],"test":[18],"inputs.":[19],"However,":[20],"its":[21],"practical":[22,115],"usage":[23],"often":[25],"limited":[26],"by":[27,82],"<i>path":[29],"explosion</i>":[30],"problem,":[31],"that":[32,53,149],"is,":[33],"number":[35],"explored":[37],"usually":[39],"grows":[40],"exponentially":[41],"with":[42,161],"increase":[44],"size.":[47],"In":[48,110],"this":[49],"paper,":[50],"we":[51,112],"argue":[52],"purpose":[56],"fault":[58,99],"detection":[59,100],"it":[60],"not":[62],"necessary":[63],"to":[64,76,123,169,184,198],"explore":[66],"paths,":[68],"propose":[70],"new":[72],"symbolic":[73,91,104,163],"approach":[75,94],"mitigate":[77],"path":[79,108],"explosion":[80],"problem":[81],"predicting":[83],"eliminating":[85],"redundant":[87,138,151],"based":[89],"on":[90],"value.":[92],"Our":[93,145],"can":[95,133],"achieve":[96],"equivalent":[98],"capability":[101],"as":[102],"traditional":[103,162],"without":[106],"exhaustive":[107],"exploration.":[109],"addition,":[111],"develop":[113],"implementation":[116],"called":[117],"Dependence":[118],"Guided":[119],"Execution":[121],"(DGSE)":[122],"soundly":[124],"approximate":[125],"our":[126,192],"approach.":[127],"Through":[128],"exploiting":[129],"dependence,":[131],"DGSE":[132,165,200],"predict":[134],"eliminate":[136],"at":[140],"reasonable":[142],"computational":[143],"cost.":[144],"empirical":[146],"study":[147],"shows":[148],"are":[153],"abundant":[154],"widespread":[156],"in":[157],"program.":[159],"Compared":[160],"execution,":[164],"only":[166],"explores":[167],"6.96":[168],"96.57":[170],"percent":[171],"achieves":[176],"speedup":[178],"1.02":[180],"<inline-formula>":[181],"<tex-math":[182],"notation=\"LaTeX\">$\\times$</tex-math></inline-formula>":[183,187],"49.56":[185],"<inline-formula><tex-math":[186,201],".":[188,203],"We":[189],"have":[190],"released":[191],"tool":[193],"benchmarks":[196],"used":[197],"evaluate":[199],"notation=\"LaTeX\">$^\\ast$</tex-math></inline-formula>":[202]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":6}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}