{“id”：“https://openalex.org/W4237279679“，”doi“：”https://doi.org/10.1109/memcod.2009.5185373“，”title“：”Bang for the buck：“公平合理：简化和调度验证引擎以实现有效资源利用”，“display_name”：“公道合理：简化并调度验证引擎以便实现有效资源使用”，“publication_year”：2009，“publiation_date”：“2009-07-01”，“ids”：{“openalex”：“https://openalex.org/W4237279679“，”doi“：”https://doi.org/10.1109/memcod.2009.5185373“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/memcod.2009.5185373“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”proceedings article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：“第一个”，“作者“：{”id“：”https://openalex.org/A5085310714“，”display_name“：”马来加奈“，”兽人“：”https://orcid.org/0000-0003-0593-3419“}，”机构“：[]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”马来K.加奈“，”raw _ afiliation_strings“：[“NEC美国实验室，Inc.，Princeton，NJ“”https://openalex.org/A5100781289“，”display_name“：”李伟红“，”兽人“：”https://orcid.org/0000-0003-4942-822X“}，”机构“：[]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”None Weihong Li“，”raw _ afiliation_strings“：[“NEC Laboratories of America，Inc.，Princeton，NJ，USA”]，“affiliations”：[{“raw_affiliation_strong”：“NEC Laboratories for America。Inc.，Princeston，NJ-USA”，“institution_ids”：[]}]，“institution_assertions”：[]countries_distiction_count“：1，”institutions_disticent_count”：0，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]“apc_list”：null，”apc_payd“：null“，”fwci“：0.634，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count 0_percent“：false}，”cited_by_percentile_year“：{“min”：71，“max”：75}，“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.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“：”Physical Sciences“｝｝，”topics“：[｛”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“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.9981，”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/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.624753}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.612182}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.607597}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.552126}，{”id“：”https://openalex.org/keywords/search-based-testing网站“，”display_name“：”基于搜索的测试“，”score“：0.542496}，{”id“：”https://openalex.org/keywords/software-verification网站“，”display_name“：”软件验证“，”score“：0.41604668}]，”concepts“：[{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”level“：2，”score“：0.822275}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.7333461｝，｛”id“：”https://openalex.org/C68387754，“wikidata”：https://www.wikidata.org/wiki/Q7271585“，”display_name“：”Schedule“，”level“：2，”score“：0.6810599}，{”id“：”https://openalex.org/C206729178，“wikidata”：https://www.wikidata.org/wiki/Q2271896“，”display_name“：”调度（生产过程）“，”level“：2，”score“：0.586081}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.58602154}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”Software“，”level“：2，”score“：0.5398343｝，｛”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.47677973}，{”id“：”https://openalex.org/C206345919，“wikidata”：https://www.wikidata.org/wiki/Q20380951“，”display_name“：”Resource（disambiguation）“，”level“：2，”score“：0.43780497}，{”id“：”https://openalex.org/C33054407，“wikidata”：https://www.wikidata.org/wiki/Q6504747“，”display_name“：”软件验证“，”级别“：5，”分数“：0.41604668}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.37180218}，{”id“：”https://openalex.org/C149091818，“wikidata”：https://www.wikidata.org/wiki/Q2429814“，”display_name“：”软件系统“，”级别“：3，”分数“：0.29712367｝，｛”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.17720976}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.1644297}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.14991671}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.10925493}，{”id“：”https://openalex.org/C186846655，“wikidata”：https://www.wikidata.org/wiki/Q3398377“，”display_name“：”软件构造“，”level“：4，”score“：0.10247737}，{”id“：”https://openalex.org/C21547014，“wikidata”：https://www.wikidata.org/wiki/Q1423657“，”display_name“：”操作管理“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/memcod.2009.5185373“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：28，“referrenced_works”：[”https://openalex.org/W126105586","https://openalex.org/W1481954153","https://openalex.org/W1495266209","https://openalex.org/W1516564968","https://openalex.org/W1533964197","https://openalex.org/W1571904738","https://openalex.org/W1575308494","https://openalex.org/W197512016","https://openalex.org/W2043100293","https://openalex.org/W2054424606","https://openalex.org/W2084330491","https://openalex.org/W2097699872","https://openalex.org/W2101512909","https://openalex.org/W2104993088","https://openalex.org/W2125967324","https://openalex.org/W2127725806","https://openalex.org/W2129614355","https://openalex.org/W2142689455","https://openalex.org/W2146662253","https://openalex.org/W2150128377","https://openalex.org/W2158966008","https://openalex.org/W2170701417","https://openalex.org/W4231640108","https://openalex.org/W4237492309","https://openalex.org/W4249974020","https://openalex.org/W4300021588","https://openalex.org/W60370665","https://openalex.org/W621300437“]，”related_works“：[”https://openalex.org/W73637996","https://openalex.org/W34533724","https://openalex.org/W2884574904","https://openalex.org/W2156446763","https://openalex.org/W2150194458","https://openalex.org/W2136512912","https://openalex.org/W2127267268","https://openalex.org/W2067910792","https://openalex.org/W2021680803","https://openalex.org/W1966629014“]，”abstract_inverted_index“：{”In“：[0]，”practice“：[1]，”verification“：[2,39126]，”engines“：[3,47103]，”have“：[4]，”to“：[5,19,95105129]，”solve“：/6]，”many“：[7,25]，”checkers“：[8]，”In“：[9114121148]，”a“：[10,32,69,97115131149]，”very“：[11]，”tight“：[12]，”time“：%13]，”预算，“：[14]，”特别是“：[15]，”何时“：[16]，”该“：[17,45107]，”系统“：[18]，”be“：[20]，”analysed“：[21]，”is“：[22]，”large“：[23]，”with“：[24,30]，”coverage“：[26]，”criteria.“：[27]，”To“：[28]，”scope“：[29]，”such“：[31,48]，”situation“：[33]，”we“：[34,60]，”propose“：[35,61,80]，”improved“：[36]，”and“：[37,55,82,90,94118133145]，”light weight“：[38]，“技术”：[40113]，“that”：[41]，“are”：[42]，“build”：[43]，“over”：[44]，“最先进”：[46]，“as”：[49]，“bounded”：[50]，“model”：[51]，“checking”：[52]，“（BMC），”：[53]，“induction”，“：[54]，“guided-simulation”：[56]，“directed”：[57]，“testing）。”：[58]，“Specify，”：【59】，“using”：【62，83】，“control”：【63，87】，“state”：【64】，“reachability”：【65】，“（CSR）”：【66】，“information\u2014获取的信息”：【67】]，“from”：[68]，“given”：[70]，“software”：[71125]，“system\u2014to”：[72]，“加强”：[73]，“我们的”：[74112]，“基于归纳法”：[75]，“证明”：[76]，“引擎”：[77,99]，“我方”：[78100110137]，“还”：[79]，“识别”：[81]，“灯塔”：[84]，“（或”：[85]，“指导柱）\u2014中级”：[86]，“说明\u2014to”：[88]，“简化”：[89]，“减少”：[91]，“BMC”：[92]，“实例”：[93]，“指南”：[96]，“模拟”：[98]，“时间表”：[101]，“这些”：[102]，“适当”：[104]，“最大化”：[106]，“资源”：[108]，“利用率”：[109]，“实现”：[111]，“工具”：[116]，“ACE，”：[117]，“集成”：[119]，“it”：[120]，“an”：[122]，“行业”：[123144]，“实力”：[124]，“平台”：[127]，“F-Soft”：[128]，“提供”：[130]，“稳健”：[132]，“精确”：[134]，“分析”：[135]，“框架”：[136]，“显示”：[138]，“有效性”：[139]，“of”：[140]，“ACE”：[141]，“on”：[142]，“several”：[143]，“public”：[146]，“benchmarks”：[147]，“compative”：[150]，“study”：[151]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W4237279679“，”counts_by_year“：[{”年“：2014，”cited_by_count“：1}]，”更新日期“：”2024-09-14T21:44:01.887033“，”创建日期“：“2022-05-12”}