{"id":"https://openalex.org/W2913069567","doi":"https://doi.org/10.1109/access.2019.2894593","title":"Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns","display_name":"Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2913069567","doi":"https://doi.org/10.1109/access.2019.2894593","mag":"2913069567"},"language":"en","primary_location":{"id":"doi:10.1109/access.2019.2894593","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2894593","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08631017.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08631017.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103068224","display_name":"Honglei Zhu","orcid":"https://orcid.org/0009-0002-0370-1876"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Honglei Zhu","raw_affiliation_strings":["State Key Laboratory of Network and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Network and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110111279","display_name":"Dahai Jin","orcid":null},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dahai Jin","raw_affiliation_strings":["State Key Laboratory of Network and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Network and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100687956","display_name":"Yunzhan Gong","orcid":"https://orcid.org/0000-0002-9105-4797"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yunzhan Gong","raw_affiliation_strings":["State Key Laboratory of Network and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Network and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009499465","display_name":"Ying Xing","orcid":"https://orcid.org/0000-0003-2807-1911"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ying Xing","raw_affiliation_strings":["Automation School, Beijing University of Posts and Telecommunications, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Automation School, Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060556623","display_name":"Mingnan Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingnan Zhou","raw_affiliation_strings":["State Key Laboratory of Network and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Network and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5103068224"],"corresponding_institution_ids":["https://openalex.org/I139759216"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.6689,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.70992848,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"7","issue":null,"first_page":"15040","last_page":"15055"},"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.9998999834060669,"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.9998999834060669,"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.9997000098228455,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9990000128746033,"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/computer-science","display_name":"Computer science","score":0.838573694229126},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.7540802955627441},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.7427119612693787},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.4699680507183075},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4276023507118225},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.42585307359695435},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.326301634311676},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14728125929832458},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10968342423439026},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08247441053390503}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.838573694229126},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.7540802955627441},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.7427119612693787},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.4699680507183075},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4276023507118225},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.42585307359695435},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.326301634311676},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14728125929832458},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10968342423439026},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08247441053390503},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2019.2894593","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2894593","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08631017.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:a3ccfb54b79d44d5a957a79bcd7c7666","is_oa":true,"landing_page_url":"https://doaj.org/article/a3ccfb54b79d44d5a957a79bcd7c7666","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 7, Pp 15040-15055 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2019.2894593","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2894593","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08631017.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1023919524","display_name":null,"funder_award_id":", Grant","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1231421488","display_name":null,"funder_award_id":"under","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2376276132","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G2702356746","display_name":null,"funder_award_id":"61702","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G393936824","display_name":null,"funder_award_id":"6170204","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4264516082","display_name":null,"funder_award_id":"61702044","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5405373265","display_name":null,"funder_award_id":"U1736110","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7227734437","display_name":null,"funder_award_id":"61502029","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8083382524","display_name":null,"funder_award_id":"2017RC27","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G8951484681","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2913069567.pdf","grobid_xml":"https://content.openalex.org/works/W2913069567.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W259819924","https://openalex.org/W1425739659","https://openalex.org/W1611084195","https://openalex.org/W1984842289","https://openalex.org/W2011174835","https://openalex.org/W2025601912","https://openalex.org/W2044464952","https://openalex.org/W2057086403","https://openalex.org/W2067836954","https://openalex.org/W2077290660","https://openalex.org/W2084974764","https://openalex.org/W2088157410","https://openalex.org/W2088192118","https://openalex.org/W2091299652","https://openalex.org/W2101629181","https://openalex.org/W2154897437","https://openalex.org/W2162441548","https://openalex.org/W2162969303","https://openalex.org/W2163266483","https://openalex.org/W2172971081","https://openalex.org/W2268291348","https://openalex.org/W2320514074","https://openalex.org/W2494909361","https://openalex.org/W2528292376","https://openalex.org/W2619487629","https://openalex.org/W2737039888","https://openalex.org/W2741943472","https://openalex.org/W2891182845","https://openalex.org/W3003533005","https://openalex.org/W4210905120","https://openalex.org/W6693530664","https://openalex.org/W6773514960"],"related_works":["https://openalex.org/W2360139790","https://openalex.org/W2901649410","https://openalex.org/W1843794072","https://openalex.org/W2019168903","https://openalex.org/W4240545424","https://openalex.org/W2915009611","https://openalex.org/W2563096791","https://openalex.org/W2998602372","https://openalex.org/W2964781046","https://openalex.org/W2735834919"],"abstract_inverted_index":{"The":[0,139],"static":[1,33,44],"analysis":[2],"plays":[3],"an":[4,104,128],"important":[5],"role":[6],"in":[7,28],"many":[8],"software":[9],"engineering":[10],"activities.":[11],"However,":[12],"the":[13,29,32,39,43,78,93,116,126,145,162],"existence":[14],"of":[15,31,38,83,87,115],"infeasible":[16,63,88,95,106,159],"paths,":[17],"which":[18],"causes":[19],"lower":[20],"program":[21],"test":[22],"coverage":[23],"and":[24,124,155],"several":[25],"false":[26],"positives":[27],"results":[30,140],"analysis,":[34],"has":[35],"become":[36],"one":[37,114],"biggest":[40],"challenges":[41],"for":[42],"analysis.":[45],"In":[46,65],"this":[47],"paper,":[48],"based":[49],"on":[50,133,153],"unsatisfiable":[51,72,118],"path":[52,73,80,99,107,119],"constraint":[53,74,81,111,120],"patterns,":[54],"we":[55,68,91],"present":[56],"a":[57,84,97],"new":[58],"approach":[59,149],"to":[60,102],"detect":[61,92],"interprocedural":[62,94,105,158],"paths.":[64,89,164],"our":[66,148],"approach,":[67,127,147],"first":[69],"discover":[70],"nine":[71,117],"patterns":[75],"by":[76],"mining":[77],"common":[79],"features":[82],"large":[85],"number":[86],"Then,":[90],"paths;":[96],"detected":[98],"is":[100,131],"deemed":[101],"be":[103],"if":[108],"its":[109],"simplified":[110],"conditions":[112],"match":[113],"patterns.":[121],"To":[122],"illustrate":[123],"verify":[125],"experimental":[129],"study":[130],"performed":[132],"five":[134],"open":[135],"source":[136],"C":[137],"projects.":[138],"show":[141],"that":[142],"compared":[143],"with":[144],"existing":[146],"requires":[150],"less":[151],"time":[152],"average":[154],"detects":[156],"more":[157],"paths":[160],"among":[161],"given":[163]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}