{“id”：“https://openalex.org/W2886801036“，”doi“：”https://doi.org/10.1145/3236950.3236974“，”title“：“JaVerT”，”display_name“：”JaVerT“，”publication_year“：2018，”publitation_date“：”2018-09-03“，”ids“：{”openalex“：”https://openalex.org/W2886801036“，”doi“：”https://doi.org/10.1145/3236950.3236974“，”mag“：”2886801036“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3236950.3236974“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”http://spiral.mImperial.ac.uk/bitstream/10044/1/71985/4/RE_%20CM%20Rights%20Management_%20PPDP%20%2718%20-%2097%2c%20提交%20ID_%2097%2c%20JaVerT_%20Verification%20和%20Testing%20Framework%2c%20%问题%20，%20open%20access%20for%20the%20invited%20talk.pdf的%20extended%20abstract%20，“any_repository_has_fulltext”：true}，“作者”：[{“author_position”：“first”，“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“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Philippa Gardner“，”raw _affiliation_strings“：【”英国伦敦帝国理工学院“]}】，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5047951273“]，”对应的机构ID“：[”https://openalex.org/I47508984“]，”apc_list“：null，”apc _ paid“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：0，”ciped_by_percentile_year“：{”min“：0”max“：67}，”biblio“：{“volume”：nullhttps://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9997，“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.9997，“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.9995，“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/T12479“，”display_name“：”Web应用程序安全和漏洞检测“，”score“：0.9993，”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/keywords/javascript“，”display_name“：”JavaScript“，”score“：0.542935｝，｛”id“：”https://openalex.org/keywords/symbolic-execution网站“，”display_name“：”符号执行“，”score“：0.515644}，{”id“：”https://openalex.org/keywords/security-testing网站“，”display_name“：”安全测试“，”score“：0.514609}，{”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.505822}，{”id“：”https://openalex.org/keywords/source-code-analysis网站“，”display_name“：”源代码分析“，”score“：0.502724}]，”concepts“：[{”id“：”https://openalex.org/C2779639559，“wikidata”：https://www.wikidata.org/wiki/Q7661178“，”display_name“：”符号执行“，”level“：3，”score“：0.8317585}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.80355227}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.7824002}，{”id“：”https://openalex.org/C54483334，“wikidata”：https://www.wikidata.org/wiki/Q2005“，”display_name“：”JavaScript“，”level“：2，”score“：0.5830332}，{”id“：”https://openalex.org/C11219265，“wikidata”：https://www.wikidata.org/wiki/Q5158734“，”display_name“：”Concolic testing“，”level“：4，”score“：0.5083656｝，｛”id“：”https://openalex.org/C23123167，“wikidata”：https://www.wikidata.org/wiki/Q7661193“，”“display_name”“：”符号轨迹评估“，”级别“：3，”分数“：0.5063199}，{”id“：”https://openalex.org/C98183937，“wikidata”：https://www.wikidata.org/wiki/Q2112188“，”display_name“：”程序分析“，”level“：2，”score“：0.4562716}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.36444086}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”Software“，”level“：2，”score“：0.12100676}]，”mesh“：[]，”locations_count“：2.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3236950.3236974“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://hdl.handle.net/1044/1/71985，“pdf_url”：http://spiral.mImperial.ac.uk/bitstream/10044/1/71985/4/RE_%20CM%20Rights%20Management_%20PPDP%20%2718%20-%2097%2c%20提交%20ID_%2097%2c%20JaVerT_%20Verification%20和%20Testing%20Framework%2c%20%问题%20，%20open%20access%20的%20extended%20abstract%20of%20the%20invited%20talk.pdf“，”源“：{”id“：”https://openalex.org/S4306401396“，”display_name“：”Spiral（伦敦帝国理工学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I47508984“，”“host_organization_name”：“伦敦帝国理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”Imperial College London“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/1044/1/71985，“pdf_url”：http://spiral.impirial.ac.uk/bitstream/10044/1/71985/4/RE_%20ACM%20Rights%20Management_%20PPDP%20%2718%20-%2097%2c%20提交%20ID_%2097%2c%20JaVerT_%20Verification%20和%20Testing%20Framework%2c%20%问题%20，%20open%20access%20的%20extended%20abstract%20of%20the%20invited%20talk.pdf“，”源“：{”id“：”https://openalex.org/S4306401396“，”display_name“：”Spiral（伦敦帝国理工学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I47508984“，”host_organization_name“：”伦敦帝国理工学院“，”host_organization_lineage“：[”https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”Imperial College London“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：【】，“versions”：【]，“referenced_works_count”：11，“referrenced_works”：[”https://openalex.org/W1992012690","https://openalex.org/W2031381791","https://openalex.org/W2054014134","https://openalex.org/W2057156093","https://openalex.org/W2094568767","https://openalex.org/W2163671349","https://openalex.org/W2593989684","https://openalex.org/W2780323212","https://openalex.org/W2885626945","https://openalex.org/W4242904834","https://openalex.org/W777621473“]，”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/W2147015581","https://openalex.org/W2082172430","https://openalex.org/W2005201077","https://openalex.org/W1994915990","https://openalex.org/W1552900908“]，”ngrams_url“：”https://api.openalex.org/works/W2886801036/ngrams“，”“abstract_inverted_index”：{“We”：[0,30]，“present”：[1]，“a”：[2]，“novel”：[3]，“unified”：[4]，“approach”：[5,33]，“to”：[6,34]，“the”：[7,16]，“development”：[8]，“of”：[9]，“compositional”：[10,23,46]，“symbolic”：[11,20,42]，“execution”：[12,21]，“tools”：[13]，“which”：[14]，桥梁“：[15]，”缺口“：[17]，”介于“：[18]，”传统“：[19]，”和“：[22,44]，”程序“：[24]，”推理“：[25]，”基于“：[26,48]，”关于“：[27,49]，”分离“：[28]，”逻辑。“：[29]，”应用“：[31]，”我们的“：[32]，”JavaScript，“：[35]，”提供“：[36]，”支持“：[37]，”用于“：[38]，”完整“：[39]，”验证“：[40]，”全过程“：[41]，”测试“：[43]，”自动“：[45]，”检测“：[47]，”双向抽取。“：[50]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=引用：W2886801036“，”counts_by_year“：[]，”updated_date“：”2024-06-03T05:42:06.761971“，”created_dates“：”2018-08-22“}“