{"id":"https://openalex.org/W2089011091","doi":"https://doi.org/10.1109/icsai.2014.7009435","title":"A method of function modeling in accurate stub generation","display_name":"A method of function modeling in accurate stub generation","publication_year":2014,"publication_date":"2014-11-01","ids":{"openalex":"https://openalex.org/W2089011091","doi":"https://doi.org/10.1109/icsai.2014.7009435","mag":"2089011091"},"language":"en","primary_location":{"id":"doi:10.1109/icsai.2014.7009435","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsai.2014.7009435","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014)","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/A5100560950","display_name":"Chi Yao","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"]},{"id":"https://openalex.org/I918919364","display_name":"Switch","ror":"https://ror.org/02yw51758","country_code":"CH","type":"nonprofit","lineage":["https://openalex.org/I918919364"]}],"countries":["CH","CN"],"is_corresponding":true,"raw_author_name":"Chi Yao","raw_affiliation_strings":["State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications","institution_ids":["https://openalex.org/I139759216","https://openalex.org/I918919364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100371589","display_name":"Yawen Wang","orcid":"https://orcid.org/0000-0002-3509-3273"},"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"]},{"id":"https://openalex.org/I918919364","display_name":"Switch","ror":"https://ror.org/02yw51758","country_code":"CH","type":"nonprofit","lineage":["https://openalex.org/I918919364"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CH","CN"],"is_corresponding":false,"raw_author_name":"Ya-wen Wang","raw_affiliation_strings":["State Key Laboratory of Computer Architecture, Chinese Academy of Sciences, Beijing, China","State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Architecture, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications","institution_ids":["https://openalex.org/I139759216","https://openalex.org/I918919364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100448921","display_name":"Feng Li","orcid":"https://orcid.org/0000-0002-6589-6392"},"institutions":[{"id":"https://openalex.org/I918919364","display_name":"Switch","ror":"https://ror.org/02yw51758","country_code":"CH","type":"nonprofit","lineage":["https://openalex.org/I918919364"]},{"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":["CH","CN"],"is_corresponding":false,"raw_author_name":"Feng Li","raw_affiliation_strings":["State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications","institution_ids":["https://openalex.org/I139759216","https://openalex.org/I918919364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100687956","display_name":"Yunzhan Gong","orcid":"https://orcid.org/0000-0002-9105-4797"},"institutions":[{"id":"https://openalex.org/I918919364","display_name":"Switch","ror":"https://ror.org/02yw51758","country_code":"CH","type":"nonprofit","lineage":["https://openalex.org/I918919364"]},{"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":["CH","CN"],"is_corresponding":false,"raw_author_name":"Yun-zhan Gong","raw_affiliation_strings":["State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications","institution_ids":["https://openalex.org/I139759216","https://openalex.org/I918919364"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100560950"],"corresponding_institution_ids":["https://openalex.org/I139759216","https://openalex.org/I918919364"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.17102055,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"9","issue":null,"first_page":"1022","last_page":"1026"},"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.9987000226974487,"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.9987000226974487,"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.9980999827384949,"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/T11424","display_name":"Security and Verification in Computing","score":0.9904999732971191,"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/computer-science","display_name":"Computer science","score":0.7503759860992432},{"id":"https://openalex.org/keywords/stub","display_name":"Stub (electronics)","score":0.6152219772338867},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5811004042625427},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.558706521987915},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.5433266162872314},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.44098523259162903},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35316455364227295},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2700989544391632},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.12225213646888733},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09721183776855469}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7503759860992432},{"id":"https://openalex.org/C63676506","wikidata":"https://www.wikidata.org/wiki/Q3976238","display_name":"Stub (electronics)","level":2,"score":0.6152219772338867},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5811004042625427},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.558706521987915},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.5433266162872314},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.44098523259162903},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35316455364227295},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2700989544391632},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.12225213646888733},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09721183776855469},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icsai.2014.7009435","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsai.2014.7009435","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5299999713897705}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W2009489720","https://openalex.org/W2011367000","https://openalex.org/W2094720120","https://openalex.org/W2096449544","https://openalex.org/W2097444001","https://openalex.org/W2107147876"],"related_works":["https://openalex.org/W2009690834","https://openalex.org/W3009629984","https://openalex.org/W2083018210","https://openalex.org/W2034190947","https://openalex.org/W4243904668","https://openalex.org/W3029176547","https://openalex.org/W41357941","https://openalex.org/W2330819653","https://openalex.org/W2909020851","https://openalex.org/W2997063478"],"abstract_inverted_index":{"The":[0],"behavior":[1],"of":[2,55],"a":[3,46],"function":[4,24,31,48,57],"call":[5,25,32],"statement":[6],"is":[7,15,33,58,70,76],"decided":[8],"by":[9],"its":[10],"called":[11],"function,":[12],"and":[13,72],"it":[14],"hard":[16],"to":[17,28,61],"judge":[18],"the":[19,23,30,34,38,53,62,73,79],"purpose":[20],"simply":[21],"from":[22],"statement.":[26],"How":[27],"simulate":[29],"key":[35],"part":[36],"for":[37],"accurate":[39],"symbolic":[40],"execution.":[41],"This":[42],"paper":[43],"puts":[44],"forward":[45],"path-sensitive":[47],"modeling":[49],"method,":[50],"in":[51],"which":[52],"definition":[54],"stub":[56],"generated":[59],"according":[60],"calling":[63],"context.":[64],"Experiments":[65],"show":[66],"that":[67],"this":[68],"method":[69],"effective":[71],"execution":[74],"path":[75],"consistent":[77],"with":[78],"target":[80],"path.":[81]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}