{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,3,30]]，“日期时间”：“2022-03-30T21:17:09Z”，“时间戳”：1648675029839}，“出版商位置”：“柏林，海德堡”，“参考计数”：6，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642047718”，“类型”：打印“}，{”值“：“9783642047725”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2009,1,1]]，“date-time”：“2009-01T00:00:00Z”，“timestamp”：1230768000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，{“tart”：“2009-01-01T00:00:00Z”，“时间戳”：123076800000}，“内容版本”：“未指定”，“延迟天数”：0，“URL”：“http:\/\/wspringer.com\/tdm”}]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“已发布的印刷品”：｛“日期部分”：[[2009]]｝，“DOI”：“10.1007\/978-3-642-04772-5_113”，“类型”：“书籍章节”，“已创建”：｛“日期部分”：[[2009,9,23]]，“日期时间”：“2009-09-23T20:32:44Z”，“时间戳”：1253737964000}，“页面”：“881-888”，“源”：“Crossref”，“is-referenced-by-count”：1，“标题”：[“集成测试的实用方法”]，“前缀”：“10.1007”，《作者》：[{“给定”：“Laura M.”，‘家族’：“卡斯特罗”，“sequence”：“first”，“affiliation”：[]}，{“已知”：“Miguel A.”，“家族”：“Francisco”，“序列”：“additional”，“affiliation”：[]}，{“given”：“V\u00edctor M.”，“family”：“Gul\u00dedas”，“sequence”：“additional”，“affaliation”:[]}]，“member”：“297”，“reference”：[{“issue”：“3”，“key”：”113_CR1“，“doi-asserted-by”：”publisher“，”first page“403”，”doi“10.1017\/S0956780550002”，“volume”“15”，“author”：“V.M.Gul\u00edas“，”年份“：”2005“，”非结构化“：“Gul\u00edas，V.M.，Barrero，M.，Freire，J.L.：VoDKA：使用分布式函数编程开发视频点播服务器。函数编程杂志\u00a015（3），403\u2013430（2005）”，“期刊标题”：“函数编程杂志”}，{“key”：“113_CR2”，“非结构化”：“QuviQ:QuviQ QuickCheck（2008），\n\n http://www.quviq.com“}，{”key“：”113_CR3“，”first page“：“268”，”volume-title“：”ACM SIGPLAN Notices“，”author“：”K.Claessen“，”year“：”2000“，”unstructured“：”Claessen，K.，Hughes，J.：Quickcheck:一种轻量级工具，用于随机测试haskell程序。收录于：ACM SIGPLAN Notices.，pp.268\u2013279。ACM Press，New York（2000）“}，{”key“：”113_CR4“，”first page“：“1”，”volume-title“：”ERLANG 2008:2008 ACM SIGPLAN ERLANG研讨会论文集“，”author“：”T.Arts“，”year“：”2008“，”unstructured“：”Arts，T.、Castro，L.M.、Hughes，J.：使用quviq快速检查测试erlang数据类型。参见：ERLANG 2008：2008年ACM SIGPLAN ERLANG研讨会会议记录，第1\u20138页。ACM，纽约（2008）“}，{”key“：”113_CR5“，”doi-asserted-by“：”publisher“，”first page“：“2”，”doi“：”10.1145\/1159789.1159792“，”volume-title“：”ERLANG 2006:2006年ACM SIGPLAN ERLANG研讨会论文集“，”author“：”T.Arts“，”year“：”2006“，”unstructured“：”Arts，T.、Hughes，J.、Johansson，J.和Wiger，U.：使用quviq quickcheck测试电信软件。收录于：ERLANG 2006：2006年ACM SIGPLAN ERLANG研讨会会议记录，第2\u201310页。ACM Press，New York（2006）“｝，｛“key”：“113_CR6”，“volume title”：“设计模式：可重用面向对象软件的元素”，“author”：“E.Gamma”，“year”：“1995”，“nonstructured”：“Gamma，E.，Helm，R.，Johnson，R.，Vlissides，J.：设计模式：可重用面向对象软件的元素。Addison-Wesley Professional，Reading（1995）“｝]，”容器标题“：[“计算机辅助系统理论-EUROCAST 2009”，“计算机科学讲义”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com\/content/pdf\/10.1007\/978-3-642-04772-5_113”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用”：“相似性检查”}]，“存放”：{“日期部分”：[[2019,3,9]]，“date-time”：“2019-03-09T23:30:43Z”，“timestamp”：1552174243000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3642-577_113”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2009]]}，s-count“：6，”URL“：“http://\/dx.doi.org\/10.1007\/978-3642-04772-5_113”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”