{“id”：“https://openalex.org/W2967523636“，”doi“：”https://doi.org/10.1007/978-3-030-31784-3_12“，”title“：”使用分离逻辑增强基于堆程序的符号执行以生成测试输入“，”display_name“：”使用分离逻辑增强基于堆程序的符号执行以生成测试输入“，”publication_year“：2019，”publication_date“：”2019-01-01“，”ids“：｛”openalex“：”https://openalex.org/W2967523636“，”doi“：”https://doi.org/10.1007/978-3-030-31784-3_12“，”mag“：”2967523636“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-31784-3_12“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：https://ink.library.smu.edu.sg/sis_research/4640“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5088791019“，”display_name“：”Long Hoang Pham“，”orcid“：”https://orcid.org/0000-0002-3240-657X}，“机构”：[{“id”：https://openalex.org/I152815399“，”display_name“：”新加坡理工大学“，”ror“：”https://ror.org/05j6fvn87“，”country_code“：”SG“，”type“：“教育”，”世系“：[”https://openalex.org/I152815399“]}]，”国家“：[”SG“]，”is_corresponding“：true，”raw_author_name“：”Long H.Pham“，”raw _ afiliation_strings“：[“新加坡科技与设计大学，新加坡”]，”affiliations“：[{”raw_ afiliation _string“：”新加坡科技与设计大学，新加坡“，”institution_ids“：[https://openalex.org/I152815399“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5060517079“，”display_name“：”Quang Loc Le“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I874055015“，”display_name“：”蒂赛德大学“，”ror“：”https://ror.org/03z28gk75“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I874055015“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Quang Loc Le“，”raw _affiliation_strings“：[“英国米德尔斯堡蒂赛德大学计算与数字技术学院”]，”affiliations“：[{”raw _affiliation_string“：”英国米德尔斯堡蒂赛特大学计算与数据技术学院”，“institution_ids”：[”https://openalex.org/I874055015“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5077895353“，”display_name“：”Quoc-Sang Phan“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210088951“，”display_name“：”Synopsys（美国）“，”ror“：”https://ror.org/013by2m91“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I4210088951“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Quoc-Sang Phan“，”raw _ afiliation_strings“：[“Synopsys，Inc.，Mountain View，USA”]，“affiliations”：[{“raw_affiliation_string”：“Synopses，Inc.，Monuntain Vision，USA“，”institution_ids“：[https://openalex.org/I4210088951“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5068911982“，”display_name“：”Jun Sun“，”orcid“：”https://orcid.org/0000-0002-3545-1392}，“机构”：[{“id”：https://openalex.org/I79891267“，”display_name“：”新加坡管理大学“，”ror“：”https://ror.org/050qmg959“，”country_code“：”SG“，”type“：“教育”，”世系“：[”https://openalex.org/I79891267“]}]，”国家“：[”SG“]，”is_corresponding“：false，”raw_author_name“：”Jun Sun“，”raw _affiliation_strings“：[“新加坡管理大学，新加坡”]，”affiliations“：[{”raw _affiliation_string“：”新加坡管理大学https://openalex.org/I79891267“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5042013137“，”display_name“：”盛朝琴“，”兽人“：”https://orcid.org/0000-0003-3028-8191}，“机构”：[{“id”：https://openalex.org/I874055015“，”display_name“：”蒂赛德大学“，”ror“：”https://ror.org/03z28gk75“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I874055015“]}]，”countries“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Shengchao Qin“，”raw _affiliation_strings“：【”英国米德尔斯堡蒂赛德大学计算与数字技术学院“】，”affiliations“：[{”raw _affiliation_string“：”英国米德尔斯堡蒂塞德大学计算和数字技术学院”，“institution_ids”：[”https://openalex.org/I874055015“]｝]｝]，”countries_distict_count“：3，”institutions_disict_count“：4，”corresponding_author_ids“：[”https://openalex.org/A5088791019“]，”对应的机构ID“：[”https://openalex.org/I152815399“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：3.172，”has_fulltext“：false，”cited_by_count“：8，”cited_by_percentile_year“：{“min”：86，”max“：87}，“biblio”：{“volume”：null、“issue”：null，“first_page”：“209”，“last_page”：“227”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9975，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9953，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/symbolic-execution网站“，”display_name“：”符号执行“，”score“：0.558529}，{”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing-Effort Dependent Models“，”score“：0.541016}，{”id“：”https://openalex.org/keywords/dynamic-test-generation网站“，”display_name“：”动态测试生成“，”score“：0.533934｝，｛”id“：”https://openalex.org/keywords/search-based-testing网站“，”display_name“：”基于搜索的测试“，”score“：0.518318}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.513501}]，”concepts“：[{”id“：”https://openalex.org/C134757568，“wikidata”：https://www.wikidata.org/wiki/Q274089“，”display_name“：”堆（数据结构）“，”级别“：2，”分数“：0.87635297}，{”id“：”https://openalex.org/C2779639559，“wikidata”：https://www.wikidata.org/wiki/Q7661178“，”display_name“：”符号执行“，”level“：3，”score“：0.8230578}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7964941}，{”id“：”https://openalex.org/C114466953，“wikidata”：https://www.wikidata.org/wiki/Q6034165“，”display_name“：”初始化“，”级别“：2，”分数“：0.6832092}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.54113203}，{”id“：”https://openalex.org/C53942775，“wikidata”：https://www.wikidata.org/wiki/Q1211721“，”“display_name”“：”代码覆盖率“，”级别“：3，”分数“：0.52682304}，{”id“：”https://openalex.org/C128942645，“wikidata”：https://www.wikidata.org/wiki/Q1568346“，”display_name“：”测试用例“，”level“：3，”score“：0.49056286}，{”id“：”https://openalex.org/C548217200，“wikidata”：https://www.wikidata.org/wiki/Q251“，”display_name“：”Java“，”level“：2，”score“：0.42603403}，{”id“：”https://openalex.org/C11219265，“wikidata”：https://www.wikidata.org/wiki/Q5158734“，”display_name“：”Concolic testing“，”level“：4，”score“：0.42081994}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.35262775}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.33778608}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.1393444}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.10929197}，{”id“：”https://openalex.org/C152877465，“wikidata”：https://www.wikidata.org/wiki/Q208042“，”display_name“：”回归分析“，”level“：2，”score“：0.0｝]，”mesh“：[]，”locations_count“：4，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-31784-3_12“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://ink.library.smu.edu.sg/sis_research/4640“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306401925“，”“display_name”“：”新加坡管理大学机构知识（InK）（新加坡管理大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I79891267“，”“host_organization_name”：“新加坡管理大学”，“host_ordanization_lineage”：[“https://openalex.org/I79891267“]，”host_organization_lineage_names“：[”新加坡管理大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://research.tees.ac.uk/ws/files/7763445/atva19.pdf，“pdf_url”：https://research.tees.ac.uk/ws/files/7763445/atva19.pdf，“源”：{“id”：https://openalex.org/S4306401198“，”display_name“：”TeesRep（Teesside University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I874055015“，”“host_organization_name”：“蒂赛德大学”，“host_organization_lineage”：[“https://openalex.org/I874055015“]，”host_organization_lineage_names“：[”Teesside University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://arxiv.org/abs/1712.06025，“pdf_url”：http://arxiv.org/pdf/1712.06025，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://ink.library.smu.edu.sg/sis_research/4640“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306401925“，”“display_name”“：”新加坡管理大学机构知识（InK）（新加坡管理大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I79891267“，”“host_organization_name”：“新加坡管理大学”，“host_ordanization_lineage”：[“https://openalex.org/I79891267“]，”host_organization_lineage_names“：[”新加坡管理大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1583826417","https://openalex.org/W1720848645","https://openalex.org/W1988537734网址","https://openalex.org/W1992012690","https://openalex.org/W2045388381","https://openalex.org/W2078988604","https://openalex.org/W2097444001","https://openalex.org/W2099978979","https://openalex.org/W2101244414","https://openalex.org/W2101512909","https://openalex.org/W2111420700","https://openalex.org/W2115273016","https://openalex.org/W2130162474","https://openalex.org/W2130729525","https://openalex.org/W2137628566","https://openalex.org/W2138788987","https://openalex.org/W2171683519","https://openalex.org/W2264729369","https://openalex.org/W2294986739","https://openalex.org/W2502150621","https://openalex.org/W2528592500","https://openalex.org/W2548465910","https://openalex.org/W2561675875","https://openalex.org/W2613252377","https://openalex.org/W2735077751","https://openalex.org/W2784656124","https://openalex.org/W2809018007","https://openalex.org/W2900758657","https://openalex.org/W2963798962","https://openalex.org/W4256027310“]，”related_works“：[”https://openalex.org/W51612467","https://openalex.org/W4206018496","https://openalex.org/W3015365135","https://openalex.org/W2957461725","https://openalex.org/W2893175923","https://openalex.org/W2440985157","https://openalex.org/W2364496964","https://openalex.org/W2294472655","https://openalex.org/W223068689","https://openalex.org/W2020667931“]，”ngrams_url“：”https://api.openalex.org/works/W2967523636/ngrams网站“，”abstract_inverted_index“：｛”Symbical“：[0]，”execution“：[1，22，53]，”is“：[2，67，91]，”a“：[3，34，50，71146155]，”well“：[4]，”established“：[5]，”method“：[6，54]，”for“：[7，24，39，55，74]，”test“：[8，76112120133175180]，”input“：[9，77]，”generation.“：[10，78]，”尽管“：[11]，”of“：[12，33，64103157173]，“拥有”：[13]，“取得”：[14]，“巨大”：[15]，“成功”：[16]，“over”：[17,42]，“numerical”：[18]，“domains”：[19]，“existing”：[20,83]，“symbol”：[21,40,52]，“technologies”：[23]，“heap-based”：[25,56104]，“programs”：[26,57105158]，“are”：[27123]，“limited”：[28]，“：[36151177]，”精确“：[37]，”描述“：[38]，”值“：[41]，”无边界“：[43]，“堆”：[44]，“In”：[45]，“this”：[46]，“work”，：[47]，“we”：[C8108115]，“present”：[49]，“new”：-51]，“based”：[58,92]，“on”：[59,93154]，“separation”：[60,94]，“logic.”：[61]，“The”：[62163]，“essentity”：[63]，“our”：65,89143167]，“proposal”：[66]，“context-sensitive”“：[68]，”惰性“：[69]，”初始化“：[70]，”新颖“：[72]，”方法“：[73,80,90144168]，”高效“：[75]，“我们的”：[79]，“不同”：[81]，“来自”：[82]，“接近”：[84]，“在”：[85126]，“两个”：[86]，“方式。”：[87]，“首先，”：[88]，“逻辑，”：95]，“其中”：[96122]，“允许”：[97]，“us”：[98]，“精确”：[100]，“捕获”：[101]，“先决条件”：[102]，“所以”：[106]，“that”：[107166]，“避免“：[109]，”生成“：[110]，”无效“：[111174]，”输入。“：[113162]，”第二，“：[114]，“生成”：[116]，“仅”：[117]，“完全”：[118]，“初始化”：[119132]，“输入”，“：[121]，“更多”：[124]，“有用”：[125]，“实践”：[127]，“比较”：[128]，“那些”：[130]，“部分”：[131]，“输出”：[134176]，“生成的”：[135]，“由”：[136]，“最先进的”：%138]，“工具。”：[139]，“我们”：[140]，“有”：[141]，实现了“：[142]，”作为“：[145]，”工具，“：[147]，”调用“：[148]，“Java”：[149]，“StarFinder”：[150]，“evaluated”：[152]，“it”：[153]，“set”：[156]，“with”：%159]，“complex”：[160]，“heap”：[161]，“results”：[164]，“show”：[165]，“significate”：[169]，“reduced”：[170]，“number”：[172]，“improved”：[178]，“coverage”：[181]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2967523636“，”counts_by_year“：[{”年“：2023，”cited_by_count“：1}，{”年份“：2021，”cited_by_count”：2}，“年份”：2020，”citecd_by_count“：1}，”{“年”：2019，”citesd_by_count“:4}]，”updated_date“：”2024-06-21T11:33:35.706675“，”created_dated“：”2019-08-22“}