{“id”：“https://openalex.org/W3033206483“，”doi“：”https://doi.org/10.1145/3385412.3386014“，”title“：”Gillian，第一部分：符号执行的多语言平台“，”display_name“：”Gillian，第一部分：符号运行的多语言框架“，”publication_year“：2020，”publitation_date“：”2020-06-11“，”ids“：{”openalex“：”https://openalex.org/W3033206483“，”doi“：”https://doi.org/10.1145/3385412.3386014“，”mag“：”3033206483“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3385412.3386014，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3385412.3386014“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜色“，”oa_url“：”https://dl.acm.org/doi/pdf/10.1145/3385412.3386014“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5061566620“，”display_name“：”Jos\u00e9 Fragoso Santos“，”orcid“：”https://orcid.org/0000-0001-5077-300X}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”网址：https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}，{”id“：”https://openalex.org/I121345201“，”display_name“：”工程研究所e Computeadores Investiga\u00e7\u00e 3o e Desenvolvimento“，”ror“：”https://ror.org/04mqy3p58“，”“country_code”“：”PT“，”type“：”非营利性“，”世系“：[”https://openalex.org/I121345201","https://openalex.org/I4210125590“]}]，”国家“：[”GB“，”PT“]，”is_corresponding“：false，”raw_author_name“：”Jos\u00e9 Fragoso Santos“，”raw _ afiliation_strings“：[“INESC-ID，葡萄牙/里斯本大学高级研究院T\u00e9cnico，葡萄牙/英国伦敦帝国理工学院”]，”从属关系“：[{”raw _affiliation_strong“：”INESC-ID，葡萄牙/葡萄牙里斯本大学高级研究所T\u00e9cnico，葡萄牙/英国伦敦帝国理工学院“，”institution_ids“：[”https://openalex.org/I47508984","https://openalex.org/I121345201“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5104992297“，”display_name“：”Ivan Scagnetto“，”orcid“：”https://orcid.org/0000-0002-0400-7467}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”网址：https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]｝]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Petar Maksimovi\u0107“，”raw_affiation_strings“：[”英国伦敦帝国理工学院“]，”附属机构“：[｛”raw_affiation_string“：”英国伦敦帝国理工学院“，”institution_ids“：[”https://openalex.org/I47508984“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5043302983“，”display_name“：”Sacha-\u00c9lie Ayoun“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”网址：https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Sacha-\u00c9lie Ayoun“，”raw _ afiliation_strings“：[“英国伦敦帝国理工学院”]，”affiliations“：[{”raw _affiliation_strong“：”英国伦敦帝国学院“，”institution_ids“：[https://openalex.org/I47508984“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”网址：https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”countries“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Philippa Gardner“，”raw _affiliation_strings“：【”英国伦敦帝国理工学院“】，”affiliations“：[{”raw _affiliation_string“：”英国伦敦皇家学院“，”institution_ids“：[“https://openalex.org/I47508984“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[].”apc_list“：null，”apc_payed“：null，”fwci“：1.746，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count 487，“is_in_top_1_percent”：真，“is_in_top_10_percent“：true}，”cited_by_percentile_year“：{”min“：90，”max“：91}，“biblio”：{“volume”：null，“issue”：null，“first_page”：nul，“last_page”：null}，，“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/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9996，“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“：”物理科学“}}，{”id“：”https://openalex.org/T11241“，”display_name“：”Android恶意软件的表征和检测“，”score“：0.9995，”subfield“：｛”id“：”https://openalex.org/subfields/1711“，”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/健全性“，”display_name“：”声音“，”分数“：0.8034589}，{”id“：”https://openalex.org/keywords/symbolic-trajector-evaluation“，”“display_name”“：”符号轨迹评估“，”分数“：0.6424697}，{”id“：”https://openalex.org/keywords/symbolic-execution网站“，”display_name“：”符号执行“，”score“：0.56214}，{”id“：”https://openalex.org/keywords/the-symbolic网站“，”display_name“：”The Symbolic“，”score“：0.5620695}，{”id“：”https://openalex.org/keywords/concolic-testing网站“，”display_name“：”Concolic testing“，”score“：0.50873643}，{”id“：”https://openalex.org/关键字/source-code-annalysis“，”display_name“：”源代码分析“，”score“：0.507191}，{”id“：”https://openalex.org/keywords/symbolic-data-analysis网站“，”display_name“：”符号数据分析“，”score“：0.42560828}]，”concepts“：[{”id“：”https://openalex.org/C2779639559，“wikidata”：https://www.wikidata.org/wiki/Q7661178“，”display_name“：”符号执行“，”level“：3，”score“：0.9178711}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.81935585}，{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.8034589}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.7994492}，{”id“：”https://openalex.org/C23123167，“wikidata”：https://www.wikidata.org/wiki/Q7661193“，”“display_name”“：”符号轨迹评估“，”级别“：3，”分数“：0.6424697}，{”id“：”https://openalex.org/C54483334，“wikidata”：https://www.wikidata.org/wiki/Q2005“，”display_name“：”JavaScript“，”level“：2，”score“：0.6213448}，{”id“：”https://openalex.org/C2776095079，“wikidata”：https://www.wikidata.org/wiki/Q488538网址“，”display_name“：”The Symbolic“，”level“：2，”score“：0.5620695}，{”id“：”https://openalex.org/C117251300，“wikidata”：https://www.wikidata.org/wiki/Q1849855“，”display_name“：”参数统计“，”level“：2，”score“：0.5436841}，{”id“：”https://openalex.org/C11219265，“wikidata”：https://www.wikidata.org/wiki/Q5158734“，”display_name“：”Concolic testing“，”level“：4，”score“：0.50873643}，{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.5072641}，{”id“：”https://openalex.org/C192209626，“wikidata”：https://www.wikidata.org/wiki/Q190909“，”display_name“：”焦点（光学）“，”级别“：2，”分数“：0.46716014}，{”id“：”https://openalex.org/C65620979，“wikidata”：https://www.wikidata.org/wiki/Q7661176“，”display_name“：”符号数据分析“，”level“：2，”score“：0.42560828}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.40303603｝，｛”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.30898666｝，｛”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.11585662}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.087953806}，{”id“：”https://openalex.org/C15744967，“wikidata”：https://www.wikidata.org/wiki/Q9418“，”display_name“：”心理学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C11171543，“wikidata”：https://www.wikidata.org/wiki/Q41630“，”display_name“：”精神分析“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3385412.3386014，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3385412.3386014“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3385412.3386014，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3385412.3386014“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}“，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W14577363419网址","https://openalex.org/W1564750950","https://openalex.org/W157156687","https://openalex.org/W1590979665","https://openalex.org/W1592238360","https://openalex.org/W1710734607","https://openalex.org/W1968678619","https://openalex.org/W1969064066","https://openalex.org/W1971719033","https://openalex.org/W1992012690","https://openalex.org/W1993255342","https://openalex.org/W2003556922","https://openalex.org/W2011367000","https://openalex.org/W2013885073","https://openalex.org/W2014359987","https://openalex.org/W2031381791","https://openalex.org/W2043100293","https://openalex.org/W2048417351","https://openalex.org/W2057156093","https://openalex.org/W2060205259","https://openalex.org/W2082036516","https://openalex.org/W2094568767","https://openalex.org/W2096529083","https://openalex.org/W2097444001","https://openalex.org/W2105443946","https://openalex.org/W2107147876","https://openalex.org/W2112448454","https://openalex.org/W2117802778","https://openalex.org/W2130162474","https://openalex.org/W2134875273","https://openalex.org/W2137628566","https://openalex.org/W2149143260","https://openalex.org/W2163671349","https://openalex.org/W2535818195","https://openalex.org/W2555865845","https://openalex.org/W2746152268","https://openalex.org/W2780323212","https://openalex.org/W2885034081","https://openalex.org/W2885626945","https://openalex.org/W2892721170","https://openalex.org/W2898543817","https://openalex.org/W2898652659","https://openalex.org/W2898720410","https://openalex.org/W2899893867","https://openalex.org/W2959059456","https://openalex.org/W2963723316","https://openalex.org/W2967996334","https://openalex.org/W2974073952","https://openalex.org/W3000070771","https://openalex.org/W3099242157","https://openalex.org/W3099508121","https://openalex.org/W3156776971网址","https://openalex.org/W3207402727","https://openalex.org/W327452528","https://openalex.org/W4237492309“]，”related_works“：[”https://openalex.org/W4254035807","https://openalex.org/W4245197793","https://openalex.org/W345638404","https://openalex.org/W3170793698","https://openalex.org/W3141167149","https://openalex.org/W3026405340网址","https://openalex.org/W2514597554","https://openalex.org/W2101264565","https://openalex.org/W2044213223","https://openalex.org/W1439634531“]，”abstract_inverted_index“：{”We“：[0,37,55,75]，”introduce“：[1]，”Gillian“，：[2,25]，”a“：[3,39,47,57]，”平台“：[4]，”for“：[5,10,83]，”developing“：[6]，”symbol“：[7,18,44,73,80]，”analysis“：[8,45]，”tools“：[9,82,90]，”programming“：[11]，”languages.“：[12]，”Here，“：[13]，”We“：[14]，“焦点”：[15]，“on”：[16,29,63]，“the”：[17,22,30,34,43,99]，“execution”：[19]，“引擎“：[20]，”位于“：[21]，”心脏“：[23]，”属于“：[24,33,42101]，”其中“：[26,66]，”是“：[27]，”参数“：[28,58103]，”内存“：[31]，”模型“：[32]，”目标“：[35]，”语言。“：[36]，”give“：[38]，”formal“：[40]，”description“：[41]，”and“：[46,85,87]，”moduled“：[48]，”implementation“：[49]，”that“：[50]，”closely“：[51]，”following“：[52]，”this“：[53]，”描述。“：[54]，”证明“：[56]，”健全性“：[59]，”结果“：[60]，”引入“：[61]，”限制“：[62]，”抽象“：[64]，”状态“：[65]，”概括“：[67]，”路径“：[68]，”条件“：[69]，”使用“：[70]，”in“：[71,94]，”经典“：[72]，”执行。“：[74]，”实例化“：[76]，”to“：[77,91]，”获取“：[78]，”信任“：[79]，”测试“：[81]，”JavaScript“：[84]，”C，“：[86]，”使用“：[88]，”这些“：[89]，”查找“：[92]，”错误“：[93]，”真实世界“：[95]，”代码“：[96]，”因此“：[97]，”演示“：[98]，”生存能力“：[100]，”我们的“：[102]，”方法●●●●。“：[104]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3033206483“，”counts_by_year“：[{年：2024，”cited_by_count“：5}，{年“：2023，”cited_by_count”：2}，“年”：2022，”citecd_by_count“：3}，”年度“：2021，”citesd_by_count“:4}，}年“:2020，”citted_by/count“:1}]，”updated_date“：”2024-09-14T17:21:26.679818“，”created_date:“2020-06-12”}