{“id”：“https://openalex.org/W2885626945“，”doi“：”https://doi.org/10.1145/3236950.3236956“，”title“：”JavaScript符号执行“，”display_name“：”JavaScript符号执行”，“publication_year”：2018，“publiation_date”：“2018-09-03”，“ids”：{“openalex”：“https://openalex.org/W2885626945“，”doi“：”https://doi.org/10.1145/3236950.3236956“，”mag“：”2885626945“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3236950.3236956，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3236950.3236956“，”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/3236950.3236956“，”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“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Jos\u00e9 Fragoso Santos“，”raw _ afiliation_strings“：[“英国伦敦帝国理工学院”]，”affiliations“：[{”raw _affiliation_strong“：”英国伦敦帝国学院“，”institution_ids“：[https://openalex.org/I47508984“]}]}，{”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/I4210123447“，”display_name“：”伦敦数学科学研究所“，”ror“：”https://ror.org/0390mzx53“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I4210123447“]}，{”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 _ afiliation_strings“：[“英国伦敦帝国理工学院，塞尔维亚SASA数学研究所”]，“affiliations”：[{“英国伦敦皇家学院，塞尔维亚SA数学研究院”，“institution_ids”：[“https://openalex.org/I4210123447","https://openalex.org/I47508984“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5023580559“，”display_name“：”Th\u00e9otime Grohens“，”orcid“：”https://orcid.org/0000-0002-2954-2677}，“机构”：[{“id”：https://openalex.org/I4210149507“，”display_name“：”\u00c9cole des Neurosciences de Paris“，”ror“：”https://ror.org/05re0sm29“，”country_code“：”FR“，”type“：“other”，”lineage“：[”https://openalex.org/I39804081","https://openalex.org/I4210149507“]}，{”id“：”https://openalex.org/I29607241“，”display_name“：”\u00c9cole Normale Sup\u00e9rieure-PSL“，”ror“：”https://ror.org/05a0dhs15“，”country_code“：”FR“，”type“：“other”，”lineage“：[”https://openalex.org/I29607241“]｝]，”countries“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Th\u00e9otime Grohens“，”raw_affiation_strings“：[”ENS Paris，France“]，”affiliations“：[｛”raw_affiation_string“：”ENS Paris，France“，”institution_ids“：[”https://openalex.org/I4210149507","https://openalex.org/I29607241“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5012855077“，”display_name“：”Julian Dolby“，”orcid“：”https://orcid.org/0000-0002-6658-2678“}，”机构“：[]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Julian Dolby“，”raw _ afiliation_strings“：[“IBM Research，New York，USA”]，”从属关系“：[{”raw _affiliation_string“：”IBM Researching，New Yor，USA“，”institution_ids“：[]}]}，{”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“：3，”institutions_disticent_count”：4，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nul，“fwci”：1.455，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：15，“citation_normalized_percentile”：{“value”：0.9979 986，“is_in_top_1_percent”：真，“is_in_top_10_percent“：true}，”cited_by_percentile_year“：{”min“：89，”max“：90}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：null，“last_page”：null}，《is_retracted》：false，“is_paratext”：false、“primary_topic”：{“id”：“https://openalex.org/T10743“，”display_name“：”自动化软件测试技术“，”score“：0.9998，”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.9998，”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/T12479“，”display_name“：”Web应用程序安全和漏洞检测“，”score“：0.9994，”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.9993，”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/concolic-testing网站“，”display_name“：”Concolic testing“，”score“：0.8532509｝，｛”id“：”https://openalex.org/keywords/javascript“，”display_name“：”JavaScript“，”score“：0.554843}，{”id“：”https://openalex.org/keywords/security-testing（https://openalex.org/keywords/security-testing）“，”display_name“：”安全测试“，”score“：0.548188}，{”id“：”https://openalex.org/keywords/symbolic-execution网站“，”display_name“：”符号执行“，”score“：0.538928}，{”id“：”https://openalex.org/keywords/symbolic-trajector-evaluation“，”“display_name”“：”符号轨迹评估“，”分数“：0.5243469}，{”id“：”https://openalex.org/keywords/cross-site-scripting（https://openalex.org/keywords/cross-site-scripting）“，”display_name“：”跨站点脚本“，”score“：0.513548}，{”id“：”https://openalex.org/keywords/mariious-code-detection“，”display_name“：”恶意代码检测“，”score“：0.505498｝]，”concepts“：[｛”id“：”https://openalex.org/C2779639559，“wikidata”：https://www.wikidata.org/wiki/Q7661178“，”display_name“：”符号执行“，”level“：3，”score“：0.9281603}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8621107}，{”id“：”https://openalex.org/C11219265，“wikidata”：https://www.wikidata.org/wiki/Q5158734“，”display_name“：”Concolic testing“，”level“：4，”score“：0.8532509}，{”id“：”https://openalex.org/C54483334，“wikidata”：https://www.wikidata.org/wiki/Q2005“，”display_name“：”JavaScript“，”level“：2，”score“：0.8447932}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.82450193}，{”id“：”https://openalex.org/C168065819，“wikidata”：https://www.wikidata.org/wiki/Q845566“，”display_name“：”调试“，”级别“：2，”分数“：0.74989974}，{”id“：”https://openalex.org/C23123167，“wikidata”：https://www.wikidata.org/wiki/Q7661193“，”“display_name”“：”符号轨迹评估“，”级别“：3，”分数“：0.5243469}，{”id“：”https://openalex.org/C98183937，“wikidata”：https://www.wikidata.org/wiki/Q2112188网址“，”display_name“：”程序分析“，”level“：2，”score“：0.5108859}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.25155306}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”Software“，”level“：2，”score“：0.13155901}]，”mesh“：[]，”locations_count“：2.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3236950.3236956，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3236950.3236956“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”http://hdl.handle.net/1044/1/62209，“pdf_url”：http://spiral.interial.ac.uk/bitstream/10044/1/62209/9/a11-santos.pdf，“源”：{“id”：https://openalex.org/S4306401396“，”display_name“：”Spiral（Imperial College London）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I47508984“，”“host_organization_name”：“伦敦帝国理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”伦敦帝国理工学院“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by（https://openalex.org/licenses/cc-by）“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3236950.3236956，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3236950.3236956“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[]，”version“：[]，”referenced_works_count“：47，”referenced_works“：[”https://openalex.org/W148369031","https://openalex.org/W1552620091","https://openalex.org/W1561702747","https://openalex.org/W1562865234","https://openalex.org/W1565541828","https://openalex.org/W1966862293","https://openalex.org/W2008880956","https://openalex.org/W2013885073","https://openalex.org/W202191487","https://openalex.org/W2023753091","https://openalex.org/W2029976661","https://openalex.org/W2031381791","https://openalex.org/W2057156093","https://openalex.org/W2063692999","https://openalex.org/W2067104598","https://openalex.org/W2087567537","https://openalex.org/W2091335641","https://openalex.org/W2094160561","https://openalex.org/W2094568767","https://openalex.org/W2095850105","https://openalex.org/W2117802778","https://openalex.org/W2119717320","https://openalex.org/W2129345992","https://openalex.org/W2130162474","https://openalex.org/W2136601052","https://openalex.org/W2137628566","https://openalex.org/W2140687990","https://openalex.org/W2140865947","https://openalex.org/W2142194171","https://openalex.org/W2155621670","https://openalex.org/W2156249516","https://openalex.org/W2162120832","https://openalex.org/W2163671349","https://openalex.org/W2170612356","https://openalex.org/W2215196193","https://openalex.org/W2278624804","https://openalex.org/W2290206096","https://openalex.org/W2535818195","https://openalex.org/W2593989684","https://openalex.org/W2758513221","https://openalex.org/W2780323212","https://openalex.org/W2898720410","https://openalex.org/W2911692446","https://openalex.org/W2963723316","https://openalex.org/W4242904834","https://openalex.org/W4244488020","https://openalex.org/W4253606798“]，”related_works“：[”https://openalex.org/W4245197793","https://openalex.org/W345638404","https://openalex.org/W3026405340网址","https://openalex.org/W2806600916","https://openalex.org/W2514597554","https://openalex.org/W2101264565","https://openalex.org/W2082172430","https://openalex.org/W2019299443","https://openalex.org/W1994915990","https://openalex.org/W1552900908“]，”abstract_inverted_index“：{”We“：[0,35,52,67,84]，”present“：[1]，”a“：[2,40]，”framework“：[3,31,38,87]，”for“：[4,28,44,49]，”trustable“：[5]，”symbolic“：[6,26,57,90]，”execution“：[7,58]，”of“：[8,20,92,99103]，”JavaScripts“：[9]，”programs，“：[10]，”which“：[11]，”aim“：[12]，“是”：[13,59]，“到”：[14,75,88]，“协助”：[15]，“开发人员”：[16]，“in”：[17]，““：[18,23,30,37,55,73,78]，”测试“：[19,91]，”他们的“：[21]，”代码：“：[22]，”开发人员“：[24]，”写入“：[25]，”检测“：[27]，”其中“：[29]，”提供“：[32]，”具体“：[33]，”反模型。“：[34]，”创建“：[36]，”遵循“：[39]，”新建“：[41]，”通用“：[42]，”方法论“：[43]，”设计“：[45]，”合成“：[46,97]，”程序“：[47]，”分析“：[48]，”动态“：[50]，”语言。“：[51]，”证明“：[53]，”那“：[54]，”基础“：[56]，”声音“：[60]，”和“：[61,80,96]，”做“：[62]，”不“：[63]，”生成“：[64]，”假“：[65]，”正。“：[66]，”建立“：[68]，”附加“：[69]，”信任“：[70]，”通过“：[71，81]，”使用“：[72]，”理论“：[74]，”精确“：[76]，”指南“：[77]，”实施“：[79]，”彻底“：[82]，”测试。“：[83]，”apply“：[85]，”our“：[86]，”whole-program“：[89]，”really“：[93]，”JavaScript“：/94104]，”libraries“：[95]，”debugging“：[98]，”separation“：[100]，”logic“：[101]，”specifications“：[102]，”programs“。“：[105]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2885626945“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”ciped_by_cunt“：5}，”{“年份”：2022，“cited_by_count”：1}，，{“年”：2021，“ciped_by_cunt”：2}，“年份”:2020，“cited_by_count）：3}，}“年份“：2019，”cited_by_counts“：2}，“updated_date”：“2024-09-15T14:05:07.431638”，“创建日期”：“2018-08-22”}