{“id”：“https://openalex.org/W2151759383“，”doi“：”https://doi.org/10.1145/604131.604138“，”title“：”Discovering affine equalities using random interpretation“，”display_name“：”Discovering仿射等式使用随机解释“，”publication_year“：2003，”publitation_date“：”2003-01-15“，”ids“：{”openalex“：”https://openalex.org/W2151759383“，”doi“：”https://doi.org/10.1145/604131.604138“，”mag“：”2151759383“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/604131.604138“，”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://www.cs.berkeley.edu/~necula/Papers/rand_popl03.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5011543162“，”display_name“：”Sumit Gulwani“，”orcid“：”https://orcid.org/0000-0002-9226-9634}，“机构”：[{“id”：https://openalex.org/I95457486“，”display_name“：”加州大学伯克利分校“，”ror“：”https://ror.org/01an7q238“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I95457486“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Sumit Gulwani“，”raw _ afiliation_strings“：[“加州大学伯克利分校”]，”affiliations“：[{”raw_ afiliation _string“：”加州大学伯克莱分校“，”institution_ids“：[https://openalex.org/I95457486“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5049483484“，”display_name“：”George C.Necula“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I95457486“，”display_name“：”加州大学伯克利分校“，”ror“：”https://ror.org/01an7q238“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I95457486“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”George C.Necula“，”raw _ afiliation_strings“：[“加州大学伯克利分校”]，”affiliations“：[{”raw_ afiliation _string“：”加州大学伯克莱分校“，”institution_ids“：[https://openalex.org/I95457486“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，”apc_payed“：null”，“has_fulltext”：false，“cited_by_count”：46，“cited_by_percentile_year”：{“min”：93，“max”：94}，”biblio“：{”volume“：nul”，“issue”：null，“first_page”：null，“last_page”：null}，“is_retracted”：false，“is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9994，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9994，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9993，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9991，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”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/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.54157}，{”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.515336}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.513959}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.504442}]，”concepts“：[{”id“：”https://openalex.org/C92757383，“wikidata”：https://www.wikidata.org/wiki/Q382497“，”display_name“：”仿射变换“，”level“：2，”score“：0.7203573}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6248479}，{”id“：”https://openalex.org/C128669082，“wikidata”：https://www.wikidata.org/wiki/Q583461（网址：https://www.wikidata.org/wiki/Q583461）“，”display_name“：”随机化算法“，”level“：2，”score“：0.5540525}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.54332}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.49069273}，{”id“：”https://openalex.org/C311688，“wikidata”：https://www.wikidata.org/wiki/Q2393193“，”display_name“：”时间复杂性“，”level“：2，”score“：0.46795738}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.46190932}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”“display_name”“：”解释（哲学）“，”级别“：2，”分数“：0.44855908}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.31699294}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.08580205}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯粹数学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/604131.604138“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.93.553，“pdf_url”：网址：http://www.cs.berkeley.edu/~necula/Papers/rand_popl03.pdf“，”源“：{“id”：“https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.93.553，“pdf_url”：网址：http://www.cs.berkeley.edu/~necula/Papers/rand_popl03.pdf“，”源“：{“id”：“https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，“grants”：[]https://openalex.org/W2010452422","https://openalex.org/W2014064621","https://openalex.org/W2040856861","https://openalex.org/W2043100293","https://openalex.org/W2065088439","https://openalex.org/W2080132708","https://openalex.org/W2101811680","https://openalex.org/W2115300444","https://openalex.org/W2132661148","https://openalex.org/W2276797782","https://openalex.org/W3106729728“]，”related_works“：[”https://openalex.org/W4313227037","https://openalex.org/W4307416302","https://openalex.org/W4288280883","https://openalex.org/W4234010763","https://openalex.org/W339301305","https://openalex.org/W2958647165","https://openalex.org/W2913308506","https://openalex.org/W2621997583","https://openalex.org/W2565109825","https://openalex.org/W2091573779“]，”ngrams_url“：”https://api.openalex.org/works/W2151759383/ngrams网站“，”“abstract_inverted_index”：{“We”：[0]，“present”：[1]，“a”：[2,14,25,29,36,71151166177]，“new”：[3]，“多项式时间”：[4]，“随机化”：[5]，“算法”：[6,21,60128157]，“for”：[7149]，“发现”：[8]，“仿射”：[9,85122]，“等式”：[10123]，“涉及”：[11]，“变量”：[12]，“in”：[13,34,92]，“程序”：[15]，“The”：[16]，“key”：[17]，“idea”：[18]，“of“：[19,70,87,95112121147154161173180]，”the“：[20,88,93101105109119125169]，”is“：[22,61129158]，”to“：[23,50107131]，”execute“：[24]，”code“：[26]，”fragment“：[27]，”on“：[28,43,63,75104]，”fellow“：[30,58]，”random“：[31]，”inputs，“：[32]，”but“：[3]，”such“：[35]，”way“：[37]，“that”：[38124]，“all”：[39]，“path”：[40]，“are”：[41,73]，“covered”：[42]，“每个“：[44,76]，”运行。“：[45]，”This“：[46117156]，”makes“：[47]，”it“：[48]，”possible“：[49]，”rule“：[51]，”out“：[52]，”invalid“：[53]，”relationships“：[54]，”even“：[55150]，”with“：[56]，”very“：57]，”runs。“：[59]，”基于“：[62]，”两个“：[64]，”主要“：[65]，”技术。“：[66]，“First，”：[67]，“both”：[68]，“branches”：[69,94]，“conditional”：[72,98]，“executed”：[74]，“run”：[77]，“and”：[78141171176]，“at”：[79]，“joint”：[80]，“points”：[81]，“we”：+82,99]，“performance”：[83]，“an”：[84,96143159]，“combination”：[86]，“joining”：[89]，”表示。“：[90]，”第二，“：[91]，”等式“：[97]，”调整“：[100]，”数据“：[102]，”值“：[103]，”飞行“：[106]，”反射“：[108]，”真理“：[110]，”数值“：[111]，”保护“：[114]，”布尔“：[115]，”表达式。“：[116]，”增加“：[118]，”数字“：[120153]，”分析“：[126]，”发现。“：[127]，”更简单“：[130]，”实现“：[132]，”比“：[133]，”替代“：[134]，”确定性“：[135]，”版本“：[136]，”有“：[137142]，”更好“：[138]，”计算“：[139]，”复杂性“：[140]，”极端“：[144]，”小“：[145152178]，”概率“：[146179]，”错误“：[148]，”运行。“：[155]，”example“：[160]，”how“：[162]，”随机化“：[163]，”can“：[164]，”provide“：[165]，”trade-off“：[167]，”between“：[168]，”cost“：[170]，”complexity“：[172]，”program“：[174]，”analysis“：[175]，”unsoundness“。“：[181]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2151759383“，”counts_by_year“：[{”year“:2023，”cited_by_count“：3}，{”year“：2021，”cited_by_count”：1}，}”year:2018，”citecd_by_count“：1}.，{“year”：2016，”citesd_by_count“:1}”，{年“：2014，”ciped_by_cunt“:3}.，日期“：”2024-06-19T05:20:38.746735“，”创建日期“：“2016-06-24”}