｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2023,10,18]，“日期时间”：“2023-10-18T00:15:55Z”，“时间戳”：1697588155529｝，“引用计数”：30，“发布者”：“IEEE”，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“已发布的打印”：｛“日期部分”：[[2013,11]]｝，“DOI”：“10.1109\/ase.2013.6693067”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2014,1,6]]，“date-time”：“2014-01-06T17:07:25Z”，“timestamp”：1389028045000}，“source”：，“family”：“Meredith”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Grigore”，“family”：“Rosu”，“sequence”：“additional”，“affiliation”：[]｝，“member”：“263”，“reference”：[｛“key”：“19”，“doi asserted by”：“publisher”，“doi”：“10.1145\\1082983.1083249”｝，｛“key”：“17”，“author”：“clavel”，“year”：“2007”，“journal title”：“关于Maude-A高性能逻辑框架如何在重写逻辑中指定程序和验证系统”}，{“key”：“18”，“first-pages”：“33”，“article-title”：“Larva-更安全地监视实时java程序（工具文件）”，“author”：“colombo”，“year”：“2009”，“journal-title“：“Software Engineering and Formal Methods（SEFM'09）”}，“article-title”：“面向监控的编程：规范与实现相结合的范式”，“author”：“chen”，“year”：“2003”，“journal-title“：“Runtime Verification（RV'03）”}，{“key”：“16”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1297027.1297069”}，{“key”：“14”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ASE.2009.50”}，{“密钥”：“11”，“首页”：“525”，“文章标题”：“改进运行时监视性能的阶段性静态程序分析”，“author”：“bodden”，“year”：“2007”，“journal-title”：“ECOOP'07”}613-9771-7“}，{“键”：“21”，“doi-asserted-by”：“crossref”，“first page”：“385”，“doi”：“10.1145\/109481.1094841”，“article-title”：“程序痕迹的关系查询”，“author”：“goldsmith”，年：“2005”，“journal-title“：”OOPSLA'05“}，{“key”：”20“authors”：“drusinsky”，“year”：“0”，“日记标题”：“Temporal Rover 1997-2009”}，}，“key“：”22”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S1571-0661（04）00253-1”}，{“key”：“23”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1993498.1993547”}“，”journal-title“：”计算机科学讲义“}，{”key“：”25“，“doi-asserted-by”：“publisher”，“doi”：“10.1023\/B:FORM.00017719.43755.7c”}，{“key”：“26”，“doo-asserted-by”：”crossref“，“first page”：”365“，”doi“：”10.1145\/109481.109484840“，”article-title“：”使用PQL:A程序查询语言查找应用程序错误和安全缺陷“，”author“：”martin“，年”：“2005”，“日志标题”：“OOPSLA'07”}、{“键”：“27”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10515-010-0063-y”}，{“key”：“28”，“article-title”：“MOP运行时验证框架概述”，“author”：“meredith”，“year”：“2011”，“journal-title“：“International journal on Software Technologies for Technology Transfer”}，{“key”：“3”，“doi-asserted-by”：“crossref”，“first page”：：“589”，“doi”：“10.1145\/1297027.1297070”，“article-title”：“使跟踪监视器可行”，“author”：“avgustinov”，“year”：“2007”，“journal-title“：”OOPSLA'07“}，{“key”：“2“，”doi-asserted-by“：”publisher“，”doi“：“10.1145\/1509239.1509243”}，{“key”：“1”，“doi-asserted-by”：“publisher”，“doi”：“10.145\/360825.360855”}-9_14“，“article-title”：“恶意软件分析中的行为抽象”，“作者”：“beaucamps”，“year”：“2010”，“journal-title”：“Runtime Verification（RV'10）”}，{“key”：“6”，“first-page”：“360”，“article-title“：“Monpoly:Monpoly:Monitoring usage-control policies”，“author”：“basin”，“年”：“2011”，“日志标题”：“运行时验证（RV'11“key”：“4”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/978-3-642-16612-9”}，{“key”：“9”，“author”：“bodden”，“year”：“2005”，“journal-title”：“J-lo运行时检查时态断言的工具”}，“location”：“Silicon Valley，CA，USA”，“start”：{“date-parts”：[[2013,11,11]]}，“end”，“date-parts”：[[2013,11,15]]}}，”container-title“：[”2013年第28届IEEE\/ACM国际自动化软件工程会议（ASE）“]，“original-title”：[]，“link”：[{“URL”：“http://explorestaging.IEEE.org\/ielx7\/6684409\/669054\/066930693067.pdf？arnumber=6693067“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2023,7,9]]，“date-time”：”2023-07-09T13:23:23Z“，“timestamp”：1688909003000}，“score”：1，“resource”：{primary“URL”：“http://ieeexplore.iee.org\/document\/6693067\/”}}，”副标题“：[]，”短标题“：[[]，”已发布“：{”日期部分“：[[2013,11]]}，“references-count”：30，“URL”：“http://\/dx.doi.org\/10.1109\/ase.2013.6693067”，“relation”：{}，”subject“：[]，“published”：{“date-parts”：[[2013.11]]}}}