{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,10]]，“日期时间”：“2023-10-10T12:48:36Z”，“时间戳”：1696942116533}，“发布者位置”：“美国纽约州纽约市”，“引用计数”：19，“出版商”：“ACM”，“许可证”：[{“开始”：{:“日期部分“：[2018,7,12]]，“日期时间”：“2018-07-12T00:00:00Z”，“时间戳”：1531353600000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}]，“content-domain”：{“domain”:[“dl.acm.org”]，“crossmark-restriction”：true}，”short-container-title“：[]，”published-print“：{”date-parts“：[2018,7,12]]}”，“DOI”：“10.1145\/3213846.3234687“，”type“：”procesdings-article“，“created”：{“date-parts”：[[2018，7，12]]，“date-time”：“2018-07-12T17:46:44Z”，“timestamp”：1531417604000}，“update-policy”：“http://\/dx.doi.org\/10.1145\/crossmark-policy”，“source”：“给定”：“Sarfraz”，“family”：“Khurshid”，“sequence”：“first”，“affiliation”：[{“name”：“University of Texas at Austin，USA”}]}，{“given”：“Corina S.”，“家族”：“P\u0103s\u0103reanu”，”sequence“：”additional“，”affiliation:[{”name“：”Carnegie Mellon Silicon Valley，USA\/NASA Ames Research Center，USA“}]}.，{”given“：”Willem“，”family“：”“Visser”，“sequence”：“附加”，“affiliation”：[{“name”：“Stellenbosch University，South Africa”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2018,7,12]]}，“reference”：[}“key”：“e_1_3_2_1_1”，“doi-asserted-by”：“publisher”，”doi“：“10.1145\/566172.566191”}，{“key”：“e_1_2_1”“Clarke Edmund M.”，“年份”：“1999年”，“非结构化”：“Edmund M。小克拉克、奥尔娜·格伦伯格和多龙·A。贝利德。1999 . 模型检查。麻省理工学院出版社，马萨诸塞州剑桥，美国。Edmund M.Clarke，Jr.、Orna Grumberg和Doron A.Peled。1999.模型检查。美国马萨诸塞州剑桥市麻省理工学院出版社“}，{”key“：”e_1_3_2_1_3_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/TSE.1976.233817”}，“key”：“e_1_ 3_2_1_4_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/337180.337234“}”，{sson，2003年。可扩展SAT解决方案。在SAT.Niklas E\u00e9n和Niklas S\u00f6rensson。2003年，可扩展SAT解决方案。在SAT.“}中，{“key”：“e_1_3_2_1_6_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/263699.263717“}，{”key“：”e_1_ 3_2_1 _7_1“，”volume-title“：”Skakkeb\u00e6k“，”author“：”Havelund Klaus“，”year“1999”，“unstructured”：“Klaus Havelund and Jens U.Skakkeb \u00e6k.1999.在Java验证中应用模型检查。在SPIN中，克劳斯·哈维隆德（Klaus Havelund）和延斯·U。Skakkeb\u00e6k。1999.在Java验证中应用模型检查。在SPIN中。“}，{”key“：”e_1_3_2_1_8_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/32.588521”}，“key”：“e_1_a_2_1_9_1”，“doi-assert-by”：“crossref”，”unstructured“：”Sarfraz Khurshid Corina Pasareanu and Willem Visser.2003。模型检查和测试的通用符号执行。在TACAS中。Sarfraz Khurshid Corina Pasareanu和Willem Visser。2003.模型检查和测试的广义符号执行。在TACAS中。“，”DOI“：”10.1007\/3-540-36577-X_40“}，{”key“：”e_1_3_2_1_10_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1145\/360248.360252”}，“key”：“e_1_ 3_2_11_1”，“volume-title”：“Java程序开发：抽象、规范和面向对象设计”，“author”：“Liskov Barbara”，“unstructured”：“Barbara Liskov and John Guttag.2000。Java程序开发：抽象、规范和面向对象设计（第1版）。艾迪森·韦斯利。Barbara Liskov和John Guttag。2000.Java程序开发：抽象、规范和面向对象设计（第1版）。艾迪森·韦斯利。“，”edition“：”1“}，{”key“：”e_1_3_2_1_12_1“，”unstructured“：”Darko Marinov and Sarfraz Khurshid.2001。TestEra：一个新的Java程序自动测试框架。在ASE中。达科·马里诺夫（Darko Marinov）和萨尔夫拉兹·库希德（Sarfraz Khurshid）。2001.TestEra:一种新的Java程序自动测试框架。在ASE中。“}，{”key“：”e_1_3_2_13_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/378239.379017”}，“{”key“：“e_1_ 3_2_14_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/135226.135233“}}，{“key”：“e_1_3_2_16_1”，“doi-asserted-by”：“交叉引用”，“非结构化”：“威廉·维赛尔·克劳斯·哈夫隆德·纪尧姆·布拉特和承准公园，2000年。模型检查程序。在ASE中。威廉·维赛尔·克劳斯·哈夫隆德·纪尧姆·布拉特和承准公园，2000年。模型检查程序。在ASE中。“，”DOI“：”10.1109\/ASE.2000.873645“}，{”key“：”e_1_3_2_17_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1145\/1007512.1007526”}，“key”：“e_1_3_2_18_1”，“unstructured”：“The Omega Project Website.2018。”。https:\/\/www.cs.umd.edu\/projects\/omega\/。(2018). Omega项目网站。2018年。https:\/\/www.cs.umd.edu\/projects\/omega\/。(2018).“}，{”key“：”e_1_3_2_19_1“，”unstructured“：”Abstract References Abstract References“}]，”event“：”{“name”：“ISSTA‘18:软件测试与分析国际研讨会”，“location”：“阿姆斯特丹荷兰”，“缩写词”：“ISSTA‘18”，“赞助商”：[“SIGSOFT ACM软件工程特别兴趣小组”，“SIGPLAN ACM编程语言特别兴趣小组“]}，“container-title”：[“第27届ACM SIGSOFT国际软件测试与分析研讨会论文集”]，“original-title“：[]，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/3213846.3234687“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”相似性检查“}”，“存放”：{“日期-部分”：[[2023,1,7]]，“日期-时间”：“2023-01-07T04:13:30Z”，“时间戳”：1673064810000}，“分数”：1，“资源”：{“主要”：}“URL”：“https:\\/dl.acm.org\/doi\/10.1145\/3213846.3234687”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[2018,7,12]]}，“references-count”：19，“alternative-id”：[“10.1145\/3213846.3234687“，”10.1145\/2213846“]，”URL“：”http://\/dx.doi.org\/10.1145\/321346.3234687“，”关系“：{}，”主题“：[]，”已发布“：{”日期部分“：[[2018,7,12]]}，“断言”：[{“值”：“2018-07-12”，“顺序”：2，“名称”：“已发布”，“标签”：“发布”，”组“：”名称：“公开历史”，“标签”：“出版物历史”}}]}}